About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Chajda, Ivan ; Halaš, Radomír
Algebraic properties of pre-logics. (English). Mathematica Slovaca, vol. 52 (2002), issue 2, pp. 157-175
MSC: 03B20, 03B22, 03G25, 06D15, 08A30 | MR 1935115 | Zbl 1007.08003
References:
[1] ABOTT J. C.: Semi-boolean algebras. Mat. Vesnik 4 (1967), 177-198. MR 0239957
[2] CHAJDA I.: Semi-implication algebra. Tatra Mt. Math. Publ. 5 (1995), 13-24. MR 1384790 | Zbl 0856.08004
[3] CHAJDA I.: The lattice of deductive systems on Hilbert algebras. Southeast Asian Bull. Math. (To appear). MR 2046584 | Zbl 1010.03054
[4] CHAJDA I., HALAŠ R.: Congruences and ideals in Hilbert algebras. Kyungpook Math. J. 39 (1999), 429-432. MR 1728116 | Zbl 0954.08002
[5] CHAJDA I., HALAŠ R.: Stabilizers in Hilbert algebras. Multiple Valued Logic (To appear). MR 1957649 | Zbl 1024.03065
[6] CHAJDA I., HALAŠ R.: Order algebras. Demonstrate Math. 35 (2002), 1-10. MR 1883937 | Zbl 1236.08004
[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. MR 1690472 | Zbl 0967.03059
[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
[9] DUDEK W. A.: On ideals in Hilbert algebras. Acta Univ. Palack. Olomouc. Fac. Rerum Natur. Math. 38 (1999), 31-34. MR 1767188 | Zbl 0957.06018
[10] JUN Y. B.: Deductive systems of Hilbert algebras. Math. Japon. 43 (1996), 51-54. MR 1373981 | Zbl 0946.03079
Partner of
EuDML logo