Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
From MaRDI portal
Publication:6642820
DOI10.1007/S11225-023-10086-XMaRDI QIDQ6642820
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tolerant, classical, strict
- Non-classical elegance for sequent calculus enthusiasts
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Proof theory. 2nd ed
- The semantics and proof theory of linear logic
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Valuational semantics of rule derivability
- Proof theory of paraconsistent weak Kleene logic
- Derivability and metainferential validity
- Natural Deduction Systems for Logics in the FDE Family
- About some symmetries of negation
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Metainferential duality
- Logics based on linear orders of contaminating values
- Semantical analysis of weak Kleene logics
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)
