Geodesic
On superintuitionistic propositional logics connected with partially ordered sets
Izvestiya. Mathematics , Tome 38 (1992) no. 2, pp. 375-397

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{IM2_1992_38_2_a7,
     author = {V. I. Khomich},
     title = {On superintuitionistic propositional logics connected with partially ordered sets},
     journal = {Izvestiya. Mathematics },
     pages = {375--397},
     publisher = {mathdoc},
     volume = {38},
     number = {2},
     year = {1992},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_1992_38_2_a7/}
}
TY  - JOUR
AU  - V. I. Khomich
TI  - On superintuitionistic propositional logics connected with partially ordered sets
JO  - Izvestiya. Mathematics 
PY  - 1992
SP  - 375
EP  - 397
VL  - 38
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IM2_1992_38_2_a7/
LA  - en
ID  - IM2_1992_38_2_a7
ER  - 
%0 Journal Article
%A V. I. Khomich
%T On superintuitionistic propositional logics connected with partially ordered sets
%J Izvestiya. Mathematics 
%D 1992
%P 375-397
%V 38
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1992_38_2_a7/
%G en
%F IM2_1992_38_2_a7
V. I. Khomich. On superintuitionistic propositional logics connected with partially ordered sets. Izvestiya. Mathematics , Tome 38 (1992) no. 2, pp. 375-397. http://geodesic.mathdoc.fr/item/IM2_1992_38_2_a7/