Theorems of Alternatives for Substructural Logics

Colacito, Almudena; Galatos, Nikolaos; Metcalfe, George (2021). Theorems of Alternatives for Substructural Logics. In: Arieli, Ofer; Zamansky, Anna (eds.) Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Outstanding Contributions to Logic: Vol. 21 (pp. 91-105). Switzerland: Springer 10.1007/978-3-030-71258-7_5

Text CGM_Avron2019_final.pdf - Accepted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (246kB)

A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in the "R-mingle" logic RM to the validity of a linear combination of these formulas, and Gordan’s theorem for solutions of linear systems over the real numbers that yields an analogous reduction for validity in Abelian logic A. In this paper, general conditions are provided for axiomatic extensions of involutive uninorm logic without additive constants to admit a theorem of alternatives. It is also shown that a theorem of alternatives for a logic can be used to establish (uniform) deductive interpolation and completeness with respect to a class of dense totally ordered residuated lattices.

Interest & Impact

Downloads

1 since deposited on 27 Oct 2021
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item