On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

DOI10.1007/s11225-016-9689-5zbMath1417.03191OpenAlexW2530868552MaRDI 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 logicthree-valued logicsbisemilatticesparaconsistent weak Kleene logicPłonka sums

Mathematics Subject Classification ID

Many-valued logic (03B50) Semilattices (06A12) Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Related Items (24)

Dualities for Płonka sums ⋮ Generalized correspondence analysis for three-valued logics ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ A duality for involutive bisemilattices ⋮ Abstract algebraic logic. An introductory chapter ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Unnamed Item ⋮ A logical modeling of severe ignorance ⋮ Logics of left variable inclusion and Płonka sums of matrices ⋮ Natural Deduction Systems for Logics in the FDE Family ⋮ Probability over Płonka sums of Boolean algebras: states, metrics and topology ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Semantical analysis of weak Kleene logics ⋮ Algebraic analysis of demodalised analytic implication ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Containment logics: algebraic completeness and axiomatization ⋮ The Płonka product of topological spaces ⋮ Meaningless divisions ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Structural proof theory for first-order weak Kleene logics

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

This page was built for publication: On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis