Simple logics for basic algebras

DOI10.18778/0138-0680.44.3.4.01MaRDI QIDQ2810125zbMATH OpenOpenAlexFDO

Authors Jānis Cīrulis

Publication date 31 May 2016

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/44_34_1.pdf

zbMATH Keywords

basic logicMV-algebranon-associative logicweak BCK-algebraŁukasiewicz logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Varieties of lattices (06B20) MV-algebras (06D35)

Recommendations

• 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

Cited in

(11)

• 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)