Multi-valued logic programming semantics An algebraic approach

DOI10.1016/S0304-3975(96)00126-0MaRDI QIDQ673383zbMATH OpenFDO

Authors Bamshad Mobasher, Don Pigozzi, Giora Slutzki

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

bilatticeslogic programmingjoin-irreducibilityprocedural semantics

Mathematics Subject Classification ID

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

Recommendations

• Bilattices and the semantics of logic programming
• scientific article; zbMATH DE number 4057054
• scientific article; zbMATH DE number 2185774
• Bilattices for deductions in multi-valued logic

Cites work

• scientific article; zbMATH DE number 4180779 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4053011 (Why is no real title available?)
• scientific article; zbMATH DE number 4057054 (Why is no real title available?)
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 177828 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A logic for default reasoning
• AND parallelism and nondeterminism in logic programs
• Bilattices and the semantics of logic programming
• Combining explicit negation and negation by failure via Belnap's logic
• Conclog: a methodological approach to concurrent logic programming
• Contributions to the Theory of Logic Programming
• Multi-valued logic programming semantics An algebraic approach
• Properties of substitutions and unifications
• Quantitative deduction and its fixpoint theory
• Reasoning with logical bilattices
• The Semantics of Predicate Logic as a Programming Language

Cited in

(15)

• Multi-valued semantics: why and how
• Hyperidentities and related concepts. II
• Stone-type representations and dualities for varieties of bisemilattices
• De Morgan functions and free De Morgan algebras.
• scientific article; zbMATH DE number 2042610 (Why is no real title available?)
• Bilattices for deductions in multi-valued logic
• Multi-valued logic programming semantics An algebraic approach
• Super-De Morgan functions and free De Morgan quasilattices
• Parametrized semantics of logic programs -- a unifying framework
• Bilattices and hyperidentities
• A mathematical life
• A duality for involutive bisemilattices
• Multi-valued logic in graph transformation theory and self-adaptive systems
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
• scientific article; zbMATH DE number 3866574 (Why is no real title available?)

This page was built for publication: Multi-valued logic programming semantics An algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q673383)