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

DOI10.1007/S11225-023-10086-XMaRDI QIDQ6642820FDOQ6642820

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)

zbMATH Keywords

substructural logicssequent calculuselimination ruleslogics of nonsensenon-reflexive logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

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

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)