We prove that the axiom system of basic algebras as given in Chajda and EmanovskÃ½ (Discuss Math Gen Algebra Appl 24:31â€“42, 2004) is not independent. The axiom (BA3) can be deleted and the remainingâ€¦ (More)

The relationship between MV-algebras and semirings was described by A. Di Nola and B. Gerla ([7]). Since commutative basic algebras are similar to MV-algebras up to associativity of the binaryâ€¦ (More)

1. Non-associative MV-algebras As known, MV-algebras were introduced in the late-fifties by C . C . C h a n g as an algebraic semantics of the Lukasiewicz many-valued sentential logic (see [5], [6]).â€¦ (More)

Let V be a variety of the form ISP(Q) where Q is a finite subdirectly irreducible algebra. We show that if V is naturally dualizable (in the sense of D. M. Clark and B. A. Davey, i.e. with respect toâ€¦ (More)

To every propositional logic satisfying double negation law is assigned a De Morgan poset Îµ. Using of axioms for an universal quantifier, we set up axioms for the so-called tense operators G and H onâ€¦ (More)