Legality concepts for three-valued logic programs

DOI10.1016/0304-3975(93)90244-NzbMATH Open0788.68136WikidataQ126527283 ScholiaQ126527283MaRDI QIDQ689286FDOQ689286

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

Publication date: 20 December 1993

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

Recommendations

• Programming in three-valued logic
• Intuitionistic three-valued logic and logic programming
• A kripke-kleene semantics for logic programs*
• A three-valued semantics for logic programmers
• scientific article; zbMATH DE number 4049622

zbMATH Keywords

resolutionlogic programmingthree-valued logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

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

This page was built for publication: Legality concepts for three-valued logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689286)