On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

DOI10.1007/S11225-016-9689-5MaRDI QIDQ526733zbMATH OpenOpenAlexFDO

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

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) Paraconsistent logics (03B53) Semilattices (06A12) Abstract algebraic logic (03G27)

Recommendations

• Extensions of paraconsistent weak Kleene logic
• Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices
• Proof theory of paraconsistent weak Kleene logic
• Algebraic study of Sette's maximal paraconsistent logic
• Conjunction in paraconsistent weak Kleene logic

Cites work

• scientific article; zbMATH DE number 5997426 (Why is no real title available?)
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 32090 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 603763 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• scientific article; zbMATH DE number 2213628 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Warning About Translating Axioms
• A computational interpretation of conceptivism
• A representation theorem for distributive quasi-lattices
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• An infinity of super-Belnap logics
• An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
• Belnap's Four-Valued Logic and De Morgan Lattices
• Characterizing logical consequence in paraconsistent weak Kleene
• Choice of primitives: A note on axiomatizing intuitionistic logic
• Involutorial Płonka sums
• Nonsense logics and their algebraic properties
• On Priest's logic of paradox
• On a method of construction of abstract algebras
• On distributive quad-lattices
• Regular Identities in Lattices
• Saving truth from paradox
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Some remarks on sums of direct systems of algebras
• Subdirect decomposition of distributive quasilattices
• The logic of paradox

Cited in

(34)

• A duality for involutive bisemilattices
• Semantical analysis of weak Kleene logics
• Probability over Płonka sums of Boolean algebras: states, metrics and topology
• The Płonka product of topological spaces
• Proof theory of paraconsistent weak Kleene logic
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• Counting finite linearly ordered involutive bisemilattices
• Dualities for Płonka sums
• Generalized correspondence analysis for three-valued logics
• Exactly true and non-falsity logics meeting infectious ones
• Logics of variable inclusion and the lattice of consequence relations
• An epistemic interpretation of paraconsistent weak Kleene logic
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Stone-type representations and dualities for varieties of bisemilattices
• Algebraic analysis of demodalised analytic implication
• The method of Socratic proofs meets correspondence analysis
• A logical modeling of severe ignorance
• Editorial introduction
• Logics of left variable inclusion and Płonka sums of matrices
• A new game theoretic semantics (GTS-2) for weak Kleene logics
• De Morgan-Płonka sums
• Finite Hilbert systems for weak Kleene logics
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Containment logics: algebraic completeness and axiomatization
• Logical Weak Completions of Paraconsistent Logics
• Extensions of paraconsistent weak Kleene logic
• Meaningless divisions
• Normalisation for some infectious logics and their relatives
• Negation-free definitions of paraconsistency
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Natural deduction systems for logics in the FDE family
• Structural proof theory for first-order weak Kleene logics
• Abstract algebraic logic. An introductory chapter
• Functional Completeness in CPL via Correspondence Analysis

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q526733)