Multi-valued logic programming semantics An algebraic approach

DOI10.1016/S0304-3975(96)00126-0zbMATH Open0874.68046MaRDI QIDQ673383FDOQ673383

Don Pigozzi, Bamshad Mobasher, Giora Slutzki

Publication date: 28 February 1997

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

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

zbMATH Keywords

bilatticeslogic programmingjoin-irreducibilityprocedural semantics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• Properties of substitutions and unifications
• Reasoning with logical bilattices
• Bilattices and the semantics of logic programming
• Combining explicit negation and negation by failure via Belnap's logic
• A logic for default reasoning
• Quantitative deduction and its fixpoint theory
• Multi-valued logic programming semantics An algebraic approach
• Title not available (Why is that?)
• Contributions to the Theory of Logic Programming
• Conclog: a methodological approach to concurrent logic programming
• Title not available (Why is that?)
• AND parallelism and nondeterminism in logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (14)

• Super-De Morgan functions and free De Morgan quasilattices
• Multi-valued logic programming semantics An algebraic approach
• Stone-type representations and dualities for varieties of bisemilattices
• De Morgan functions and free De Morgan algebras.
• Bilattices and hyperidentities
• Multi-valued semantics: why and how
• Multi-valued logic in graph transformation theory and self-adaptive systems
• Title not available (Why is that?)
• A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices
• Title not available (Why is that?)
• Parametrized semantics of logic programs -- a unifying framework
• A Mathematical Life
• Title not available (Why is that?)
• A duality for involutive bisemilattices

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)