Ternary and quaternary deductive terms for Nelson algebras (Q2583591)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ternary and quaternary deductive terms for Nelson algebras |
scientific article; zbMATH DE number 2248065
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Ternary and quaternary deductive terms for Nelson algebras |
scientific article; zbMATH DE number 2248065 |
Statements
Ternary and quaternary deductive terms for Nelson algebras (English)
0 references
17 January 2006
0 references
Nelson algebras
0 references
equationally definable principal congruences
0 references
universal algebraic logic
0 references
