ISSN 1519-9681

ARTICLES
EDITORIAL BOARD
RULES AND INSTRUCTIONS
SITES POINTING TO CLE e-PRINTS

Articles
Vol. 14(1), 2014

..
.



Vol. 16(1), 2016
Translating non-classical logics into the classical logic by using hidden variables
Juan C. Agudelo-Agudelo 

Institute of Mathematics, University of Antioquia, Medellin, Colombia

Date Posted: January 21, 2016

vol. 16, n. 1, 2016

   
Abstract:

It is here proposed a method for constructing conservative translations of logics characterized by ‘dyadic semantics’ (a kind of non-truth-functional bivalued semantics) into the classical logic. The method particularly works for several finite many-valued logics and paraconsistent logics. The translation method uses ‘hidden variables’, which are propositional variables used to represent the indeterminism that arises when non-classical logics are provided of bivalued semantics. Then, it is shown that intuitionistic logic, for instance, is not characterizable by dyadic semantics, then the translation method here proposed do not applied for this logic. Moreover, it is provided an alternative method (not based on dyadic semantics) for constructing conservative translations of any finite many-valued logic into the classical logic. In this translation method ‘hidden variables’ are also used, but in this case to represent the degree of true or falsehood of propositions.




|   Home   | 2014  |  2013 2012  |  2011   |   2010   |   2009   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |

2001-2016 - Centre for Logic, Epistemology and the History of Science – CLE