Izv. Akad. Nauk SSSR Ser. Mat., 1969 Volume 33, Issue 1, Pages 18–38
(Mi im2024)
|
This article is cited in
16 papers
Conjunctively indecomposable formulas in propositional calculi
V. A. Yankov
Abstract:
Formulas in intuitionistic propositional calculus and its subsystems are studied that cannot be decomposed into a proper conjunction.
UDC:
51.01
MSC: 03E25,
03B20,
06D10,
06A12,
03G05 Received: 14.11.1969
© , 2026
Fulltext:
PDF file (1943 kB)
