No label defined (Q4671070)
From MaRDI portal
scientific article; zbMATH DE number 2161054
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2161054 |
Statements
23 April 2005
0 references
automated reasoning
0 references
resolution principle
0 references
lattice implication algebra
0 references
intermediate element lattice-valued propositional logic
0 references
