|
This article is cited in 1 scientific paper (total in 1 paper)
On superintuitionistic propositional logics connected with partially ordered sets
V. I. Khomich
Abstract:
This paper introduces a new method of representing pseudo-Boolean algebras by implication structures of a special type or by partially ordered sets. This is used to construct four sequences of pseudo-Boolean algebras. Their properties and the properties of the logics prescribed by the sequences are studied. The connection between these logics and the logic consisting of the realizable propositional formulas is established, and a problem posed by Hosoi and Ono is solved.
Received: 16.11.1989
Citation:
V. I. Khomich, “On superintuitionistic propositional logics connected with partially ordered sets”, Math. USSR-Izv., 38:2 (1992), 375–397
Linking options:
https://www.mathnet.ru/eng/im1015https://doi.org/10.1070/IM1992v038n02ABEH002204 https://www.mathnet.ru/eng/im/v55/i2/p384
|
Statistics & downloads: |
Abstract page: | 285 | Russian version PDF: | 105 | English version PDF: | 11 | References: | 53 | First page: | 1 |
|