Truth versus information in logic programming

The semantics of logic programs was originally described in terms of two-valued logic. Soon, however, it was realised that three-valued logic had some natural advantages, as it provides distinct values not only for truth and falsehood but also for “undefined”. The three-valued semantics proposed by...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 14; no. 6; pp. 803 - 840
Main Authors:	NAISH, LEE, SØNDERGAARD, HARALD
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.11.2014
Subjects:	Allowances Fittings Logic Logic programming Operators Order disorder Regular Papers Semantics Specifications many-valued logic information order modes declarative debugging program analysis logic program specification intended interpretation specification semantics
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!