On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis

DOI10.1007/S11225-016-9689-5zbMATH Open1417.03191OpenAlexW2530868552MaRDI QIDQ526733FDOQ526733

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

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

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)

Cites Work

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

Cited In (34)

• 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
• The method of Socratic proofs meets correspondence analysis
• Algebraic analysis of demodalised analytic implication
• 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
• Structural proof theory for first-order weak Kleene logics
• Natural deduction systems for logics in the FDE family
• Abstract algebraic logic. An introductory chapter
• Functional Completeness in CPL via Correspondence Analysis
• Semantical analysis of weak Kleene logics
• A duality for involutive bisemilattices

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)