ISSN 1519-9681

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

Articles
Vol. 14(1), 2014

..
.



Vol. 16(2), 2016
Conservative Expansions of Substructural Logics
(1)Jacopo Amidei, (2)Rodolfo C. Ertola-Biraben, and (3)Franco Montagna

(1)Scuola Normale Superiore di Pisa, Italy
(2)Centre for Logic, Epistemology and the History of Science, State University of Campinas, Brazil
(3) Department of Information Engineering and Mathematics, Siena, Italy

Date Posted: March 9, 2016

  vol. 16, n. 2, 2016

   
Abstract:

In this paper we investigate several conservative expansions of substructural logics, and of fuzzy logics in particular. The most important are the expansion by Δ and the expansion by propositional quantifiers, with applications to Craig interpolation. In the last part of the paper we show that in several expansions of MTL it is possible to add conservatively the Lukasiewicz connectives, as well as a new kind of product.




|   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