Closed classes of k-valued logic, all of whose congruences are trivial
From MaRDI portal
Publication:599052
DOI10.1007/BF01146421zbMath0414.03014MaRDI QIDQ599052
Publication date: 1978
Published in: Mathematical Notes (Search for Journal in Brave)
Congruence modularity, congruence distributivity (08B10) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Cites Work