Polinomial Ring Calculus for Modalities

  • Juan C. Agudelo-Agudelo
  • Walter Carnielli

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.

Downloads

Download data is not yet available.
Published
2014-04-28
Section
Artigos