Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650)
From MaRDI portal
scientific article; zbMATH DE number 1369572
Language | Label | Description | Also known as |
---|---|---|---|
English | Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini |
scientific article; zbMATH DE number 1369572 |
Statements
Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (English)
0 references
9 May 2000
0 references
approximation logic
0 references
reasoning of an intelligent agent
0 references
weak deduction theorem
0 references
algebraic semantics
0 references
Heyting algebra with operators
0 references