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)

Full work available at URL https://doi.org/10.1016/S0304-3975(96)00126-0

zbMATH Keywords

bilatticesjoin-irreducibilitylogic programmingprocedural 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

• 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
• 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?)
• 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

(16)

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

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)