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

MR Zbl
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.
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 
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
@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},
     year = {2007},
     volume = {132},
     number = {4},
     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
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
%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

[1] Abbott, J. C.: Semi-boolean algebra. Mat. Vestnik 4 (1967), 177–198. | MR | Zbl

[2] Abbott, J. C.: Orthoimplication algebras. Stud. Log. 35 (1976), 173–177. | DOI | MR | Zbl

[3] Beran, L.: Orthomodular Lattices—Algebraic Approach. D. Reidel, Dordrecht, 1985. | MR | Zbl

[4] Burmeister, P., Maczyński, M.: Orthomodular (partial) algebras and their representations. Demonstr. Math. 27 (1994), 701–722. | MR

[5] Chajda I., Halaš, R., Kühr, J.: Implication in MV-algebras. Algebra Univers. 52 (2004), 377–382. | MR

[6] Chajda I., Halaš, R., Kühr, J.: Distributive lattices with sectionally antitone involutions. Acta Sci. (Szeged) 71 (2005), 19–33. | MR

[7] Chajda, I., Halaš, R., Länger, H.: Orthomodular implication algebras. Int. J. Theor. Phys. 40 (2001), 1875–1884. | DOI | MR

[8] Chajda, I., Halaš, R., Länger, H.: Simple axioms for orthomodular implication algebras. Int. J. Theor. Phys. 40 (2004), 911–914. | DOI | MR

[9] Halaš, R.: Ideals and D-systems in Orthoimplication algebras. J. Mult.-Val. Log. Soft Comput. 11 (2005), 309–316. | MR | Zbl

[10] Kalmbach, G.: Orhomodular Lattices. Academic Press, London, 1983. | MR

Cité par Sources :