On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

DOI10.1007/s11225-016-9689-5zbMath1417.03191MaRDI QIDQ526733

José Gil-Férez, Luisa Peruzzi, Stefano Bonzio, Francesco Paoli

Publication date: 15 May 2017

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

Full work available at URL: https://doi.org/10.1007/s11225-016-9689-5

zbMATH Keywords

abstract algebraic logic; three-valued logics; bisemilattices; paraconsistent weak Kleene logic; Płonka sums

Mathematics Subject Classification ID

03B50: Many-valued logic

06A12: Semilattices

03B53: Paraconsistent logics

03G27: Abstract algebraic logic

Related Items

Semantical analysis of weak Kleene logics, Dualities for Płonka sums, Generalized correspondence analysis for three-valued logics, Natural deduction for Fitting's four-valued generalizations of Kleene's logics, Stone-type representations and dualities for varieties of bisemilattices, The Płonka product of topological spaces, A duality for involutive bisemilattices

Cites Work

• The logic of paradox
• Involutorial Płonka sums
• A survey of abstract algebraic logic
• Choice of primitives: A note on axiomatizing intuitionistic logic
• A Warning About Translating Axioms
• Algebraizable logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• A computational interpretation of conceptivism
• On Priest's logic of paradox
• Nonsense logics and their algebraic properties
• On distributive quad-lattices
• On a method of construction of abstract algebras
• Some remarks on sums of direct systems of algebras
• A representation theorem for distributive quasi-lattices
• Regular Identities in Lattices
• Subdirect decomposition of distributive quasilattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item