Algebraic study of Sette's maximal paraconsistent logic

DOI10.1007/BF01058534zbMath0817.03004MaRDI QIDQ1344874

Alexej P. Pynko

Publication date: 22 February 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessparaconsistencyalgebraic semanticsfiltersabstract logicabstract Sette logicalgebraizable deductive systemsparaconsistent deductive systemSette algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items (7)

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Paraconsistency and Sette’s calculus P1 ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions ⋮ Twist-structures semantics for the logics of the hierarchy IⁿP^k ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ Subprevarieties versus extensions. Application to the logic of paradox

Cites Work

• Algebraic aspects of deduction theorems
• Equivalential logics. I
• Algebraic logic for classical conjunction and disjunction
• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Algebraizable logics
• A first approach to abstract modal logics
• The independence of connectives
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic study of Sette's maximal paraconsistent logic