On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
From MaRDI portal
Publication:526733
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
abstract algebraic logic; three-valued logics; bisemilattices; paraconsistent weak Kleene logic; Płonka sums
03B50: Many-valued logic
06A12: Semilattices
03B53: Paraconsistent logics
03G27: Abstract algebraic logic
Related Items
Unnamed Item, 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, An Epistemic Interpretation of Paraconsistent Weak Kleene Logic, Functional Completeness in CPL via Correspondence Analysis, The Method of Socratic Proofs Meets Correspondence Analysis, Semantical analysis of weak Kleene logics, Abstract algebraic logic. An introductory chapter, A logical modeling of severe ignorance, 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, Containment logics: algebraic completeness and axiomatization, Meaningless divisions, Proof theory of paraconsistent weak Kleene logic, Logics of left variable inclusion and Płonka sums of matrices, Probability over Płonka sums of Boolean algebras: states, metrics and topology, A simple logical matrix and sequent calculus for Parry's logic of analytic implication, Algebraic analysis of demodalised analytic implication, The Płonka product of topological spaces, A duality for involutive bisemilattices, Natural Deduction Systems for Logics in the FDE Family
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