Multi-valued logic programming semantics An algebraic approach

DOI10.1016/S0304-3975(96)00126-0zbMath0874.68046MaRDI QIDQ673383

Don Pigozzi, Bamshad Mobasher, Giora Slutzki

Publication date: 28 February 1997

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

zbMATH Keywords

bilatticeslogic programmingprocedural semanticsjoin-irreducibility

Mathematics Subject Classification ID

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

Related Items

Parametrized semantics of logic programs -- a unifying framework ⋮ A Mathematical Life ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ A duality for involutive bisemilattices ⋮ Multi-valued logic programming semantics An algebraic approach ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ De Morgan functions and free De Morgan algebras. ⋮ Bilattices and hyperidentities ⋮ Unnamed Item

Cites Work

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