Structural proof theory for first-order weak Kleene logics

DOI10.1080/11663081.2020.1782593zbMath1486.03048OpenAlexW3037637577MaRDI QIDQ4995622

Andreas Fjellstad

Publication date: 25 June 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2020.1782593

zbMATH Keywords

completenesssequent calculuscut-eliminationstructural proof theoryweak Kleene quantifiers

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (3)

Tableaux and restricted quantification for systems related to weak Kleene logic ⋮ Neutral free logic: motivation, proof theory and models ⋮ Logical Nihilism and the Logic of ‘prem’

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Non-classical elegance for sequent calculus enthusiasts
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• On Beall's new interpretation of \(WK_{3}\)
• Proof theory. 2nd ed
• The syntax and semantics of infinitary languages
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
• Semantical analysis of weak Kleene logics
• A proof of Gentzen's \textit{Hauptsatz} without multicut

This page was built for publication: Structural proof theory for first-order weak Kleene logics