|
This article is cited in 16 scientific papers (total 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.
Received: 14.11.1969
Citation:
V. A. Yankov, “Conjunctively indecomposable formulas in propositional calculi”, Izv. Akad. Nauk SSSR Ser. Mat., 33:1 (1969), 18–38; Math. USSR-Izv., 3:1 (1969), 17–35
Linking options:
https://www.mathnet.ru/eng/im2024https://doi.org/10.1070/IM1969v003n01ABEH000744 https://www.mathnet.ru/eng/im/v33/i1/p18
|
Statistics & downloads: |
Abstract page: | 346 | Russian version PDF: | 154 | English version PDF: | 14 | References: | 38 | First page: | 1 |
|