Holland’s theorem for pseudo-effect algebras
We give two variations of the Holland representation theorem for -groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo -algebra can be represented as a pseudo-effect algebra or as a pseudo -algebra of automorphisms of some antilattice or of some linearly ordered set.
Inference in expert systems based on complete multivalued logic
Interpolation Formulas Over Finite Sets
Interpolation formulas over finite sets.
Interpolative Relations and Interpolative Preference Structures
Kripke models and manivalued logics, II
Langages à valeurs réelles et applications
�?lgebras de Hilbert n-valentes
Logical Aggregation Based on Interpolative Boolean Algebra.
Logique trivalente de Lukasiewicz
-test spaces versus -algebras
In analogy with effect algebras, we introduce the test spaces and -test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between -algebras and -test spaces.
Modal operators on symmetrical Heyting algebras
Molecules and linerly ordered ideals of MV-algebras.
We show that an ideal I of an MV-algebra A is linearly ordered if and only if every non-zero element of I is a molecule. The set of molecules of A is contained in Inf(A) ∪ B2(A) where B2(A) is the set of all elements x ∈ A such that 2x is idempotent. It is shown that I ≠ {0} is weakly essential if and only if B⊥ ⊂ B(A). Connections are shown among the classes of ideals that have various combinations of the properties of being implicative, essential, weakly essential, maximal or prime.
MV-algebras with additive closure operators
New kinds of hybrid filters of EQ-algebras
The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...
Notational and Logical Completeness in three-Valued Logic
On A Class Of Sentential Functions
On a class of sentential functions.
On A Many-Valued Sentential Calculus