This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals for such events, related algorithms
Abstract. This article develops a general dual adjunction between MV-alge-bras (the algebraic equiva...
AbstractWe define a concept of probability on an n-valued Lukasiewicz-Moisilalgebra and we present s...
In this paper some results are found about the validity of a Deduction Theorem for the complete axio...
We provide geometric, measure-theoretic and logic characterizations for strict coherence in the alge...
MV-algebras are the algebraic counterparts of infinite-valued sentential calculus of Lukasiewicz log...
We propose the notion of automata over Lukasiewicz many-valued logic, extending fuzzy automata ([9])...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
International audienceIn this paper, we define new decision procedures for Łukasiewicz logics. They ...
We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In ...
We will present proof-theoretical and algebraic properties for the probability logic FP(L,L), meant ...
In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. I...
We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplica...
In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-val...
The deep relation between states of an MV-algebra M and betting on the continuous-valued events defi...
AbstractIn this paper MV-algebras, the algebras of L̵ukasiewicz infinite-valued logics, are interpre...
Abstract. This article develops a general dual adjunction between MV-alge-bras (the algebraic equiva...
AbstractWe define a concept of probability on an n-valued Lukasiewicz-Moisilalgebra and we present s...
In this paper some results are found about the validity of a Deduction Theorem for the complete axio...
We provide geometric, measure-theoretic and logic characterizations for strict coherence in the alge...
MV-algebras are the algebraic counterparts of infinite-valued sentential calculus of Lukasiewicz log...
We propose the notion of automata over Lukasiewicz many-valued logic, extending fuzzy automata ([9])...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
International audienceIn this paper, we define new decision procedures for Łukasiewicz logics. They ...
We study the algebras corresponding to various extensions of Lukasiewicz infinite-valued logics. In ...
We will present proof-theoretical and algebraic properties for the probability logic FP(L,L), meant ...
In general, every logic L comes equipped with a syntax, a semantics, and an algorithmic procedure. I...
We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplica...
In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-val...
The deep relation between states of an MV-algebra M and betting on the continuous-valued events defi...
AbstractIn this paper MV-algebras, the algebras of L̵ukasiewicz infinite-valued logics, are interpre...
Abstract. This article develops a general dual adjunction between MV-alge-bras (the algebraic equiva...
AbstractWe define a concept of probability on an n-valued Lukasiewicz-Moisilalgebra and we present s...
In this paper some results are found about the validity of a Deduction Theorem for the complete axio...
DOI
Add to ORKG