Conservative Expansions of Substructural Logics

  • Jacopo Amidei
  • Rodolfo C. Ertola-Biraben
  • Franco Montagna

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.

Downloads

Download data is not yet available.
Published
2016-03-09
Section
Artigos