Non-classical elegance for sequent calculus enthusiasts

DOI10.1007/S11225-016-9683-YzbMath1417.03200OpenAlexW2507253025MaRDI QIDQ519853

Andreas Fjellstad

Publication date: 7 April 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9683-y

zbMATH Keywords

sequent calculusnon-classical logicslogics of truthnon-reflexive logicnon-transitive logic

Mathematics Subject Classification ID

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

Related Items (12)

Systems for non-reflexive consequence ⋮ Metasequents and tetravaluations ⋮ MTV logics ⋮ (I can't get no) antisatisfaction ⋮ On structural contraction and why it fails ⋮ Neutral free logic: motivation, proof theory and models ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Noncontractive classical logic ⋮ Non-reflexivity and revenge ⋮ Structural proof theory for first-order weak Kleene logics ⋮ Logical Nihilism and the Logic of ‘prem’ ⋮ Sequent-calculi for metainferential logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A cut-free sequent system for two-dimensional modal logic, and why it matters
• Proof analysis in modal logic
• Gentzen calculi for modal propositional logic
• Kripke and the logic of truth
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• HOW A SEMANTICS FOR TONK SHOULD BE
• A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
• The truth is never simple
• Outline of a Theory of Truth

This page was built for publication: Non-classical elegance for sequent calculus enthusiasts