Structural proof theory for first-order weak Kleene logics

DOI10.1080/11663081.2020.1782593MaRDI QIDQ4995622zbMATH OpenOpenAlexFDO

Authors Andreas Fjellstad

Publication date 25 June 2021

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

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

Recommendations

• Proof theory of paraconsistent weak Kleene logic
• On the proof-theory of two formalisations of modal first-order logic
• Semantical analysis of weak Kleene logics
• scientific article; zbMATH DE number 777292
• About some symmetries of negation

Cites work

• scientific article; zbMATH DE number 5016555 (Why is no real title available?)
• scientific article; zbMATH DE number 1749199 (Why is no real title available?)
• A proof of Gentzen's \textit{Hauptsatz} without multicut
• An epistemic interpretation of paraconsistent weak Kleene logic
• Conservatively extending classical logic with transparent truth
• Non-classical elegance for sequent calculus enthusiasts
• Off-topic: a new interpretation of weak Kleene logic
• On Beall's new interpretation of \(WK_{3}\)
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Proof theory. 2nd ed
• Semantical analysis of weak Kleene logics
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Structural proof theory. With an appendix by Aarne Ranta
• The syntax and semantics of infinitary languages
• Tolerant, classical, strict

Cited in

(8)

• About some symmetries of negation
• A generalization of Beall's off-topic interpretation
• Tableaux and restricted quantification for systems related to weak Kleene logic
• Modal weak Kleene logics through variables inclusion
• Normalisation for some infectious logics and their relatives
• A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
• Logical nihilism and the logic of `prem'
• Neutral free logic: motivation, proof theory and models

Describes a project that uses

Uses Software

• Pesca

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

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