Abstract:It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic propositional logic have the deductive interpolation property. The prevalence of the deductive interpolation property for axiomatic extensions of substructural logics and the amalgamation property for varieties of pointed residuated lattices, their equivalent algebraic semantics, is far less well understood, however. Taking as our starting point a formulation of intuitionistic propositional logic as the full Lambek calculus with exchange, weakening, and contraction, we investigate the role of the exchange rule--algebraically, the commutativity law--in determining the scope of these properties. First, we show that there are continuum-many varieties of idempotent semilinear residuated lattices that have the amalgamation property and contain non-commutative members, and hence continuum-many axiomatic extensions of the corresponding logic that have the deductive interpolation property in which exchange is not derivable. We then show that, in contrast, exactly sixty varieties of commutative idempotent semilinear residuated lattices have the amalgamation property, and hence exactly sixty axiomatic extensions of the corresponding logic with exchange have the deductive interpolation property. From this latter result, it follows also that there are exactly sixty varieties of commutative idempotent semilinear residuated lattices whose first-order theories have a model completion.

An Epistemic Interpretation of Tensor Disjunction

An unexpected Boolean connective

Inquisitive Logic As an Epistemic Logic of Knowing How

On the expressive power of inquisitive epistemic logic

Boolean Dependence Logic and Partially-Ordered Connectives

The Expressive Power of Modal Dependence Logic

Models of Linear Logic based on the Schwartz $\varepsilon$-product

Quasi Conjunction, Quasi Disjunction, T-norms and T-conorms: Probabilistic Aspects

Parametric Connectives in Disjunctive Logic Programming

Two strong undefinability results in inquisitive and team semantics

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations

Adjoint Natural Deduction (Extended Version)

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

A New Modal Framework for Epistemic Logic

Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic

Argumentation in disjunctive logic programming

Further remarks on the dual negation in team logics

Basic Reasoning with Tensor Product Representations

A Logic for Non-Monotone Inductive Definitions

On the Existence and Disjunction Properties in Structural Set Theory

Interpolation and the Exchange Rule