No label defined (Q4271950)
From MaRDI portal
scientific article; zbMATH DE number 465607
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 465607 |
Statements
8 December 1993
0 references
three-valued logic
0 references
Łukasiewicz logic
0 references
resolution
0 references
refutation
0 references