A constructive proof of McNaughton's theorem in infinite-valued logic (Q4302355)
From MaRDI portal
scientific article; zbMATH DE number 618235
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A constructive proof of McNaughton's theorem in infinite-valued logic |
scientific article; zbMATH DE number 618235 |
Statements
A constructive proof of McNaughton's theorem in infinite-valued logic (English)
0 references
15 August 1994
0 references
piecewise linear function
0 references
infinite-valued calculus of Łukasiewicz
0 references
Minkowski's convex body theorem
0 references
