Ternary t-deductive systems

• Autorzy: Chajda I.
• Języki publikacji: EN

Abstrakty

EN

The concept of deductive systems was introduced by A. Diego [6] in Hilbert algebras. For universal algebras, it was generalized in [3], and the ternary version was occured in [1] where a basic connection between ternary deductive systems and congruence c.lasses was established. An approach using Galois connections for binary deductive systems was developed in [4]. In the present paper, an approach similar to that of [4] is applied for a modified version of ternary deductive systems.

Słowa kluczowe

EN

ternary t-deductive system; congruence class; regular algebra; Csakany term

PL

matematyka stosowana

• Wydawca: De Gruyter
• Czasopismo: Demonstratio Mathematica
• Rocznik: 2003
• Tom: Vol. 36, nr 1
• Strony: 29--36
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Chajda I.

• Department of Algebra and Geometry, Palacký University Olomouc, Tomkova 40, 779 00 Olomouc, Czech Republic

Bibliografia

• [1] R. Bělohlávek and I. Chajda, Relative deductive systems and congruence classes, Multiple Val. Logic 5 (2000), 259-266.
• [2] R. Bělohlávek and I. Chajda, A polynomial characterization of congruence classes, Algebra Universalis 37 (1997), 235-242.
• [3] I. Chajda, Congruence kernels in weakly regular varieties, Southeast Asian Bull. Math. 24 (2001), 15-18.
• [4] I. Chajda and R. Halaš, Deductive systems and Galois connections, Algebra and Discrete Math., to appear.
• [5] B. Csákány, Characterization of regular varieties, Acta Sci. Math (Szeged) 31 (1971), 187-189.
• [6] A. Diego, Sur les algébres de Hilbert, Collection de Logique Math., Ser. A (Ed. Hermann, Paris), 21 (1967), 177-189.