Normalisation and subformula property for a system of classical logic with Tarski's rule

DOI10.1007/s00153-021-00775-6OpenAlexW3189326130MaRDI QIDQ2118171

Nils Kürbis

Publication date: 22 March 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00775-6

zbMATH Keywords

proof theorynormalisationclassical logicsubformula property

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Uses Software

• Pesca

Cites Work

• Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
• Normalization and excluded middle. I
• Natural deduction with general elimination rules
• Untersuchungen über das logische Schliessen. II
• Gentzen's Proof of Normalization for Natural Deduction
• SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
• Inversion Principles and Introduction Rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Normalisation and subformula property for a system of classical logic with Tarski's rule