Multi-valued logic programming semantics An algebraic approach
type: Item
instance of: scholarly article
title: Multi-valued logic programming semantics An algebraic approach
zbMATH Open document ID: 0874.68046
DOI: 10.1016/S0304-3975(96)00126-0
author: Bamshad Mobasher
author: Don Pigozzi
author: Giora Slutzki
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 985540
zbMATH Keywords: logic programming
zbMATH Keywords: join-irreducibility
zbMATH Keywords: bilattices
zbMATH Keywords: procedural semantics
MaRDI profile type: Publication
cites work: Contributions to the Theory of Logic Programming
cites work: Reasoning with logical bilattices
cites work: Q3858244
cites work: Q5331549
cites work: AND parallelism and nondeterminism in logic programs
cites work: Q4692885
cites work: Properties of substitutions and unifications
cites work: Q3204031
cites work: Q3792274
cites work: Bilattices and the semantics of logic programming
cites work: Conclog: a methodological approach to concurrent logic programming
cites work: Q3789064
cites work: Q3339245
cites work: Q4038706
cites work: A logic for default reasoning
cites work: Combining explicit negation and negation by failure via Belnap's logic
cites work: Quantitative deduction and its fixpoint theory
cites work: The Semantics of Predicate Logic as a Programming Language
description: scientific article; zbMATH DE number 985540