Normalisation and subformula property for a system of classical logic with Tarski's rule
type: Item
instance of: scholarly article
title: Normalisation and subformula property for a system of classical logic with Tarski's rule
author: Nils Kürbis
published in: Archive for Mathematical Logic
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7495456
zbMATH Keywords: proof theory
zbMATH Keywords: classical logic
zbMATH Keywords: normalisation
zbMATH Keywords: subformula property
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s00153-021-00775-6
OpenAlex ID: W3189326130
cites work: Q4856189
cites work: Untersuchungen über das logische Schliessen. II
cites work: SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS
cites work: Inversion Principles and Introduction Rules
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Q4264064
cites work: Q5559220
cites work: Q4192055
cites work: Normalization and excluded middle. I
cites work: Q4499084
cites work: Natural deduction with general elimination rules
cites work: Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
cites work: Gentzen's Proof of Normalization for Natural Deduction
DOI: 10.1007/S00153-021-00775-6
Recommended article: On proof normal forms for some systems of classical propositional logic
Recommended article: A strong normalization result for classical logic
Recommended article: A normalization-procedure for the first order classical natural deduction with full logical symbols
Recommended article: Q4326748
Recommended article: Normal forms in combinatory logic
Recommended article: Normalization theorems for full first order classical natural deduction
Recommended article: Deduction normalization theorem for Sette's logic and its modifications
Recommended article: Normal form theorem for systems of sequents
Recommended article: Q4273421
Recommended article: Q4365102
description: scientific article; zbMATH DE number 7495456