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

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI

About

• Item ORO ID
• 81472
• Item Type
• Book Section
• ISBN
• 3-030-76920-8, 978-3-030-76920-8
• ISSN
• 2211-2758
• Keywords
• interpolation; many-valued logic; propositional quantifiers
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Copyright Holders
• © 2021 Elsevier
• Depositing User
• ORO Import