Classification of derivable propositional formulas

A. S. Anikeev

M. V. Lomonosov Moscow State University

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.

UDC: 517.11

Received: 02.06.1970

 English version: Mathematical Notes, 1972, 11:2, 106–110

Bibliographic databases:

• 
•