No label defined (Q4822149)
From MaRDI portal
scientific article; zbMATH DE number 2109539
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2109539 |
Statements
25 October 2004
0 references
many-valued logic
0 references
equality determinant
0 references
sequent calculus
0 references
cut elimination
0 references
algebraic semantics
0 references