Normalisation and subformula property for a system of classical logic with Tarski's rule
From MaRDI portal
Publication:2118171
DOI10.1007/s00153-021-00775-6OpenAlexW3189326130MaRDI QIDQ2118171
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
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
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