On expressibility of functions of many-valued logic in some logical-functional languages (Q4522842)
From MaRDI portal
scientific article; zbMATH DE number 1548649
Language | Label | Description | Also known as |
---|---|---|---|
English | On expressibility of functions of many-valued logic in some logical-functional languages |
scientific article; zbMATH DE number 1548649 |
Statements
On expressibility of functions of many-valued logic in some logical-functional languages (English)
0 references
18 December 2001
0 references
many-valued logics
0 references
logical-functional languages
0 references
positive expressibility language
0 references
first-order languge
0 references
second-order language
0 references
expressibility in a language
0 references
closure operators
0 references