FIXED POINT THEORY FOR COMPLETE T-LATTICE IN LOGIC PROGRAMMING (Q5278010)
From MaRDI portal
scientific article; zbMATH DE number 6744326
Language | Label | Description | Also known as |
---|---|---|---|
English | FIXED POINT THEORY FOR COMPLETE T-LATTICE IN LOGIC PROGRAMMING |
scientific article; zbMATH DE number 6744326 |
Statements
FIXED POINT THEORY FOR COMPLETE T-LATTICE IN LOGIC PROGRAMMING (English)
0 references
12 July 2017
0 references
semi-strictly level-decreasing logic programs
0 references
complete \(T\)-lattice fixed point theorem
0 references
Van-Emden Kowalski operator
0 references
classical Tarski theorems
0 references