Łukasiewicz Logic: From Proof Systems To Logic Programming (Q5716213)
From MaRDI portal
scientific article; zbMATH DE number 2248482
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Łukasiewicz Logic: From Proof Systems To Logic Programming |
scientific article; zbMATH DE number 2248482 |
Statements
Łukasiewicz Logic: From Proof Systems To Logic Programming (English)
0 references
18 January 2006
0 references
Łukasiewicz logic
0 references
many-valued logic programming
0 references
fuzzy logic programming
0 references
