Legality concepts for three-valued logic programs

DOI10.1016/0304-3975(93)90244-NzbMath0788.68136MaRDI QIDQ689286

G. Tortora, S. Orefice, G. Nota, F. Ruggiero, Giuliano Pacini

Publication date: 20 December 1993

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

zbMATH Keywords

resolutionthree-valued logiclogic programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Many-valued logic (03B50)

Related Items

On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming in three-valued logic
• A polymorphic type system for Prolog
• Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
• Logic for improving integrity checking in relational data bases
• Paraconsistent logic programming
• A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING
• A basis for deductive database systems
• Making prolog more expressive
• A kripke-kleene semantics for logic programs*
• Integrity constraint checking in stratified databases