Declarative semantics of programming in residuated lattice-valued logic

zbMath1161.68382MaRDI QIDQ866211

Ming Sheng Ying

Publication date: 20 February 2007

Published in: Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (1)

Lattice-theoretic models of conjectures, hypotheses and consequences

This page was built for publication: Declarative semantics of programming in residuated lattice-valued logic