A Gentzen-style axiomatization for basic predicate calculus

DOI10.1007/S001530100132zbMath1022.03041OpenAlexW2087545875MaRDI QIDQ1407590

Mohammad Ardeshir, Mojtaba Aghaei

Publication date: 16 September 2003

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

Full work available at URL: https://doi.org/10.1007/s001530100132

zbMATH Keywords

subformula propertybasic predicate calculusGentzen-style sequent calculus axiomatization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: A Gentzen-style axiomatization for basic predicate calculus