Declarative semantics of programming in residuated lattice-valued login

摘要

We give two generalizations of Tarski's fixpoint theorem in thesetting of residuated lat- tices and use them to establish vanEmdem-kowalski's least fixpoint semantics for residuated lattice-valued logic programs.