Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic

DOI10.1007/S11225-023-10086-XMaRDI QIDQ6642820zbMATH OpenFDO

Authors Bruno Da Ré, Damian Szmuc, María Inés Corbalán

Publication date 25 November 2024

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-023-10086-X

zbMATH Keywords

substructural logicssequent calculuselimination ruleslogics of nonsensenon-reflexive logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• scientific article; zbMATH DE number 5997426 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• About some symmetries of negation
• Derivability and metainferential validity
• Logics based on linear orders of contaminating values
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Metainferential duality
• Natural deduction systems for logics in the FDE family
• Non-classical elegance for sequent calculus enthusiasts
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Proof theory of paraconsistent weak Kleene logic
• Proof theory. 2nd ed
• Semantical analysis of weak Kleene logics
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• The semantics and proof theory of linear logic
• Tolerant, classical, strict
• Valuational semantics of rule derivability

Cited in

(1)

• On duality of logical systems: paralogics

This page was built for publication: Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic

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