Revisiting four-valued logics from Maple using the Logics Explorer package

Eugenio Roanes-Lozano, Jose Antonio Alonso and Antonio Hernando

Mathematics and Computers in Simulation (MATCOM), 2014, vol. 104, issue C, 31-42

Abstract: We have recently developed a package in Maple that allows to perform logical computations in any existing or proposed many-valued logic (that can be defined using truth tables). It has applications in logic engineering (e.g. when creating a new logic adapted to some requirements), in theoretical logic (e.g. checking if two axiomatizations of a logic are equivalent), or simply in checking the properties of a well known logic. Now, such a package has been tuned so that it can simultaneously deal with the logic proposed by the end user plus the standard Boolean logic, in order to conveniently check properties. This new approach is used to easily develop some disquisitions on why Belnap's four-valued logic is defined the way it is. Finally, it is shown how a new four valued logic that mixes ideas from Łukasiewicz's and Kleene's logics behaves similarly to Belnap's logic.

Keywords: Finite many-valued logics; Belnap's four-valued logic; Computer algebra systems; Effective computations (search for similar items in EconPapers)
Date: 2014
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475412001486
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:104:y:2014:i:c:p:31-42

DOI: 10.1016/j.matcom.2012.06.012

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().