OAI Archive: SeDiCI - Universidad Nacional de La Plata
Download type: partial
A 'partial' download type means that only articles matching certain keywords will be indexed. Dublin Core subject fields are used for matching. This might not be the best configuration for this archive. For example, if it contains categories ('sets') of articles relevant to this site, you might want to tell us about them so we download all these sets. Click here to edit this archive's configuration or view the sets it offers.
100 entries most recently downloaded from the archive "SeDiCI - Universidad Nacional de La Plata"
This set has the following status: partial.
- Ulisses Ferreira, 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. 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 (...)