2 research outputs found
Structural and universal completeness in algebra and logic
In this work we study the notions of structural and universal completeness
both from the algebraic and logical point of view. In particular, we provide
new algebraic characterizations of quasivarieties that are actively and
passively universally complete, and passively structurally complete. We apply
these general results to varieties of bounded lattices and to quasivarieties
related to substructural logics. In particular we show that a substructural
logic satisfying weakening is passively structurally complete if and only if
every classical contradiction is explosive in it. Moreover, we fully
characterize the passively structurally complete varieties of MTL-algebras,
i.e., bounded commutative integral residuated lattices generated by chains.Comment: This is a preprin