A five-valued logic and a system

The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but consistent, false, true, and inconsistent...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of computer science and technology (La Plata) 2004-10, Vol.4 (3), p.134-140
Main Author:	Ferreira, Ulisses
Format:	Article
Language:	eng
Subjects:	deductive systems epistemology foundations of computing science knowledge representation Logic many-valued logics philosophy of computer science Programming languages Semantics
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but consistent, false, true, and inconsistent. The present logic and the PLAIN programming language are two results of the same intuitions and from the same philosophical view. Finally, as well as the purposes of PLAIN, the logic ought to be used to support (mobile) agents systems in some manner, besides general purposes.
ISSN:	1666-6046 1666-6038