ISSN 1519-9681

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

Articles

..
.


Vol. 14(2), 2014
Polinomial Ring Calculus for Modalities
Juan C. Agudelo-Agudelo (1); Walter Carnielli (2)

(1) Institute of Mathematics
University of Antioquia

(2) Department of Philosophy, IFCH and
Centre for Logic, Epistemology and The History of Science (CLE)
State University of Campinas (UNICAMP)


Date Posted: April 28, 2014

vol. 14, n. 2, 2014

   
Abstract:

This   paper investigates   new algebraic resolution methods for the modal logics K, KD, T, S4, S5 and for  intuitionictic logic. The methods are based on the Polynomial Ring Calculus introduced  by Carnielli in 2005,  and extend the results  obtained by Agudelo and Carnielli in 2011.  Several examples are  provided, as well as a comparison with other  methods.


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

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