Pseudo-Boolean valued Prolog

DOI10.1007/BF00370283zbMath0667.68110MaRDI QIDQ1117705

Melvin Fitting

Publication date: 1988

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

operational semanticsHeyting algebraminimal modelpseudo-BooleanHorn clause logic programmingpseudo- Boolean or Heyting algebra

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Mechanization of proofs and logical operations (03B35)

Related Items (2)

From Fuzzy to Annotated Semantic Web Languages ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Cites Work

• The Semantics of Predicate Logic as a Programming Language
• Unnamed Item

This page was built for publication: Pseudo-Boolean valued Prolog