TERNARY t-DEDUCTIVE SYSTEMS

DOI10.1515/DEMA-2003-0104zbMATH Open1023.08001OpenAlexW751319979MaRDI QIDQ4406172

Ivan Chajda

Publication date: 16 November 2003

Published in: Demonstratio Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dema-2003-0104

zbMATH Keywords

congruence classescongruence regular varieties\(t\)-deductive system

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Related Items (4)

Ternary models of operators in register transfer languages ⋮ The ternary description language as a formalism for the parametric general systems theory: part III ⋮ Ternary Equational Languages ⋮ The ternary description language as a formalism for the parametric general systems theory: Part II

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)