Abstract
An operation on inferential rules, called H-operation, is used to minimize the axiom basis for classical logic.
Similar content being viewed by others
References
HILBERT,D., and P. BERNAYS, Grundlagen der Mathematik Bd II, Supplement III, Springer Verlag, Berlin 1939.
POGORZELSKI, W.A., ‘On Hilbert’s operation on logical rules I’, Reports on Mathematical Logic 12(1981), 35–50.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pogorzelski, W.A., Wojtylak, P. A Proof System for Classical Logic. Stud Logica 80, 95–104 (2005). https://doi.org/10.1007/s11225-005-6778-2
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-6778-2