Abstract
This article considers questions connected with the derivability of propositional formulas under restrictions on the length of the derivation. A classification is proposed for formulas with minimum derivation length.
Similar content being viewed by others
Literature cited
A. Church, Introduction to Mathematical Logic [Russian translation], Vol. 1, Moscow (1960).
S. K. Klini, Introduction to Mathematics [in Russian], Moscow (1957).
A. S. Anikeev, “On some classes of propositional formulas,” Proceedings of the All-Union Symposium on Mathematical Logic [in Russian], Alma-Ata (1969), pp. 4–5.
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 165–174, February, 1972.
Rights and permissions
About this article
Cite this article
Anikeev, A.S. Classification of derivable propositional formulas. Mathematical Notes of the Academy of Sciences of the USSR 11, 106–110 (1972). https://doi.org/10.1007/BF01097926
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01097926