Declarative semantics of programming in residuated lattice-valued logic

Authors
Ying, MS
Citation
Ms. Ying, Declarative semantics of programming in residuated lattice-valued logic, SCI CHINA E, 43(5), 2000, pp. 481-494
Citations number
8
Categorie Soggetti
Engineering Management /General
Journal title
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN journal
20950624 → ACNP
Volume
43
Issue
5
Year of publication
2000
Pages
481 - 494
Database
ISI
SICI code
2095-0624(200010)43:5<481:DSOPIR>2.0.ZU;2-W
Abstract
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 fi xpoint semantics for residuated lattice-valued logic programs.