Equality Logic (Q5147753)
From MaRDI portal
scientific article; zbMATH DE number 7302944
Language | Label | Description | Also known as |
---|---|---|---|
English | Equality Logic |
scientific article; zbMATH DE number 7302944 |
Statements
Equality Logic (English)
0 references
28 January 2021
0 references
many-valued logic
0 references
equality logic
0 references
completness
0 references
prelinear equality \(_\Delta \)-algebra
0 references
prelinear equality \(_\Delta\) logic
0 references