Conservative expansions of substructural logics

Amidei, J.; Ertola-Biraben, R. C. and Montagna, F. (2022). Conservative expansions of substructural logics. In: Galatos, Nikolaos and Terui, Kazushige eds. Hiroakira Ono on Substructural Logics. Outstanding Contributions to Logic, 23. Springer, pp. 339–368.

DOI: https://doi.org/10.1007/978-3-030-76920-8_10

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 Łukasiewicz connectives, as well as a new kind of product.

Viewing alternatives

Metrics

Public Attention

Altmetrics from Altmetric

Number of Citations

Citations from Dimensions

Item Actions

Export

About

Recommendations