A proof system for classical logic

DOI10.1007/S11225-005-6778-2zbMath1098.03017OpenAlexW2078118469MaRDI QIDQ813076

Witold A. Pogorzelski, Piotr Wojtylak

Publication date: 30 January 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-6778-2

zbMATH Keywords

consequence operationclassical logicHilbert operationinferential rule

Mathematics Subject Classification ID

Classical first-order logic (03B10) Classical propositional logic (03B05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item

This page was built for publication: A proof system for classical logic