Title:
|
Algebraic properties of pre-logics (English) |
Author:
|
Chajda, Ivan |
Author:
|
Halaš, Radomír |
Language:
|
English |
Journal:
|
Mathematica Slovaca |
ISSN:
|
0139-9918 |
Volume:
|
52 |
Issue:
|
2 |
Year:
|
2002 |
Pages:
|
157-175 |
. |
Category:
|
math |
. |
MSC:
|
03B20 |
MSC:
|
03B22 |
MSC:
|
03G25 |
MSC:
|
06D15 |
MSC:
|
08A30 |
idZBL:
|
Zbl 1007.08003 |
idMR:
|
MR1935115 |
. |
Date available:
|
2009-09-25T14:06:59Z |
Last updated:
|
2012-08-01 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/128691 |
. |
Reference:
|
[1] ABOTT J. C.: Semi-boolean algebras.Mat. Vesnik 4 (1967), 177-198. MR 0239957 |
Reference:
|
[2] CHAJDA I.: Semi-implication algebra.Tatra Mt. Math. Publ. 5 (1995), 13-24. Zbl 0856.08004, MR 1384790 |
Reference:
|
[3] CHAJDA I.: The lattice of deductive systems on Hilbert algebras.Southeast Asian Bull. Math. (To appear). Zbl 1010.03054, MR 2046584 |
Reference:
|
[4] CHAJDA I., HALAŠ R.: Congruences and ideals in Hilbert algebras.Kyungpook Math. J. 39 (1999), 429-432. Zbl 0954.08002, MR 1728116 |
Reference:
|
[5] CHAJDA I., HALAŠ R.: Stabilizers in Hilbert algebras.Multiple Valued Logic (To appear). Zbl 1024.03065, MR 1957649 |
Reference:
|
[6] CHAJDA I., HALAŠ R.: Order algebras.Demonstrate Math. 35 (2002), 1-10. Zbl 1236.08004, MR 1883937 |
Reference:
|
[7] CHAJDA I., HALAŠ R., ZEDNÍK J.: Filters and annihilators in implication algebras.Acta Univ. Palack. Olomouc. Fac. Rerum Natur. Math. 37 (1998), 41-45. Zbl 0967.03059, MR 1690472 |
Reference:
|
[8] DIEGO A.: Sur les algébres de Hilbert.In: Collection de Logique Math. Ser. A. 21, Hermann, Paris, 1967, pp. 177-198. MR 0199086 |
Reference:
|
[9] DUDEK W. A.: On ideals in Hilbert algebras.Acta Univ. Palack. Olomouc. Fac. Rerum Natur. Math. 38 (1999), 31-34. Zbl 0957.06018, MR 1767188 |
Reference:
|
[10] JUN Y. B.: Deductive systems of Hilbert algebras.Math. Japon. 43 (1996), 51-54. Zbl 0946.03079, MR 1373981 |
. |