Simple logics for basic algebras
MV-algebras are very well established algebras which were introduced by Chang almost 60 years ago and nowadays its structure, which has a connection to many-valued logic, is studied very detailed. During the years, many generalizations of MV-algebras are introduced, e.g. pseudo MV-algebras (= non-commutative MV-algebras), BL-algebras, hoops, etc. Basic logic was introduced in the last decade by the school in Olomouc, Czech republic, headed by Chajda. It is a common generalization of MV-algebras and orthomodular lattices. A basic algebra is an MV-algebra iff the operation \(\oplus\) is associative. One of its important subvarieties is the variety of commutative basic algebras.NEWLINENEWLINEBasic algebras and commutative basic algebras provide an equivalent algebraic semantics in the sense of \textit{W. J. Blok} and \textit{D. Pigozzi} [Mem. Am. Math. Soc. 396, 78 p. (1989; Zbl 0664.03042)] for two recent logical systems. Both are Hilbert-style systems, with implication and negation as primitive connectives. The aim of the paper under review is the study a simpler logic where implication and falsum are taken as primitives. In addition, some known subvarieties of basic algebras are studied, too.
- Interior and closure operators on commutative basic algebras
- Basic algebras, logics, trends and applications.
- Basic algebras, logics, trends and applications
- Basic algebras and their applications an overview
- Implication and equivalential reducts of basic algebras
- Independence of axiom system of basic algebras
- A basic algebra is an MV-algebra if and only if it is a BCC-algebra
- The propositional logic induced by means of basic algebras
- There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras
- Reduced axioms for the propositional logics induced by basic algebras
- A basic free logic
- Simplified semantics for basic relevant logics
- Commutative basic algebras and coupled near semirings
- Reduced axioms for the propositional logics induced by basic algebras
- Are basic algebras residuated structures?
- Simplified forms of definition of MV-algebra.
- An example of a commutative basic algebra which is not an MV-algebra
- scientific article; zbMATH DE number 1418442 (Why is no real title available?)
- Basic algebras, logics, trends and applications.
- Basic algebras, logics, trends and applications
- The propositional logic induced by means of basic algebras
This page was built for publication: Simple logics for basic algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2810125)
