Truth, partial logic and infinitary proof systems

DOI10.1007/s11225-017-9751-yzbMath1437.03160OpenAlexW2760247660MaRDI QIDQ1653651

Norbert Gratzl, Martin J. Fischer

Publication date: 6 August 2018

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

Full work available at URL: http://nbn-resolving.de/urn:nbn:de:bvb:19-epub-41340-2

zbMATH Keywords

truthpartial logicaxiomatic theoriesinfinitary proof systemsminimal fixed-point

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

, , AND REINHARDT’S PROGRAM ⋮ Cut elimination for systems of transparent truth with restricted initial sequents

Cites Work

• Unnamed Item
• Unnamed Item
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Handbook of proof theory
• On the costs of nonclassical logic
• Handbook of philosophical logic. Vol. 5
• A theory of formal truth arithmetically equivalent to ID₁
• Games for Truth
• The truth is never simple
• Notes on Formal Theories of Truth
• Outline of a Theory of Truth
• Iterated reflection over full disquotational truth
• INFINITARY TABLEAU FOR SEMANTIC TRUTH
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• Axiomatizing Kripke's theory of truth