Declarative semantics of programming in residuated lattice-valued logic (Q866211)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Declarative semantics of programming in residuated lattice-valued logic |
scientific article |
Statements
Declarative semantics of programming in residuated lattice-valued logic (English)
0 references
20 February 2007
0 references
We give two generalizations of Tarski's fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski's least fixpoint semantics for residuated lattice-valued logic programs.
0 references
