TERNARY t-DEDUCTIVE SYSTEMS
Given an algebra \({\mathcal A}\), for any ternary term \(t\) of \({\mathcal A}\) and \(z\in A\), a \(t\)-deductive system \(D\subseteq A\) of \({\mathcal A}\) relative to \(z\) is introduced. For every triple \(z\in A\), \(t\in T_3({\mathcal A})\) and \(D \subseteq A\), a natural relation \(\theta_D\) is defined by \[ (a,b)\in \theta_D \text{ iff }t(a,b,z) \in D\text{ and }t(b,a,z)\in D. \] It is shown that if \(\theta_D\) is a congruence on \({\mathcal A}\), then \(D\) is a \(t\)-deductive system of \({\mathcal A}\) relative to \(z\). Conversely, if \(t\) satisfies the identity \(t(x,x,z)= z\) and \(D\) is a \(t\)-deductive system of \({\mathcal A}\) relative to \(z\), then the relation \(\theta_D\) is a congruence on \({\mathcal A}\) with \(D=[z]_{\theta_D}\). Applying these theorems, the author gives a nice description of congruence classes in congruence regular varieties.
- Ternary models of operators in register transfer languages
- Algebraic logic perspective on Prucnal's substitution
- Ternary Equational Languages
- The ternary description language as a formalism for the parametric general systems theory: Part II
- Ternary deduction terms in residuated structures
- The ternary description language as a formalism for the parametric general systems theory: part III
- scientific article; zbMATH DE number 1899808 (Why is no real title available?)
This page was built for publication: TERNARY t-DEDUCTIVE SYSTEMS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4406172)
