Geodesic
On systems of congruences on principal filters of orthomodular implication algebras
Mathematica Bohemica, Tome 132 (2007) no. 4, pp. 423-435

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Orthomodular implication algebras (with or without compatibility condition) are a natural generalization of Abbott’s implication algebras, an implication reduct of the classical propositional logic. In the paper deductive systems (= congruence kernels) of such algebras are described by means of their restrictions to principal filters having the structure of orthomodular lattices.
DOI : 10.21136/MB.2007.133966
Classification : 03B60, 03G25, 06B10, 06C15
Keywords: orthoimplication algebra; orthomodular lattice; $p$-filter 
@article{10_21136_MB_2007_133966,
     author = {Hala\v{s}, Radom{\'\i}r and Plojhar, Lubo\v{s}},
     title = {On systems of congruences on principal filters of orthomodular implication algebras},
     journal = {Mathematica Bohemica},
     pages = {423--435},
     publisher = {mathdoc},
     volume = {132},
     number = {4},
     year = {2007},
     doi = {10.21136/MB.2007.133966},
     mrnumber = {2365325},
     zbl = {1174.03030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133966/}
}
TY  - JOUR
AU  - Halaš, Radomír
AU  - Plojhar, Luboš
TI  - On systems of congruences on principal filters of orthomodular implication algebras
JO  - Mathematica Bohemica
PY  - 2007
SP  - 423
EP  - 435
VL  - 132
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133966/
DO  - 10.21136/MB.2007.133966
LA  - en
ID  - 10_21136_MB_2007_133966
ER  - 
%0 Journal Article
%A Halaš, Radomír
%A Plojhar, Luboš
%T On systems of congruences on principal filters of orthomodular implication algebras
%J Mathematica Bohemica
%D 2007
%P 423-435
%V 132
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/MB.2007.133966/
%R 10.21136/MB.2007.133966
%G en
%F 10_21136_MB_2007_133966
Halaš, Radomír; Plojhar, Luboš. On systems of congruences on principal filters of orthomodular implication algebras. Mathematica Bohemica, Tome 132 (2007) no. 4, pp. 423-435. doi: 10.21136/MB.2007.133966

Cité par Sources :