Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
From MaRDI portal
Publication:6408360
arXiv2208.09724MaRDI QIDQ6408360FDOQ6408360
Authors: Wesley Fussner, Nikolaos Galatos 
Publication date: 20 August 2022
Abstract: We give a structural decomposition of conic idempotent residuated lattices, showing that each of them is an ordinal sum of certain simpler partially ordered structures. This ordinal sum is indexed by a totally ordered residuated lattice, which serves as its skeleton and is both a subalgebra and nuclear image, and we equationally characterize which totally ordered residuated lattices appear as such skeletons. Using the two inverse operations induced by the residuals, we further characterize both congruence and subalgebra generation in conic idempotent residuated lattices. We show that every variety generated by conic idempotent residuated lattices enjoys the congruence extension property. In particular, this holds for semilinear idempotent residuated lattices. Moreover, we provide a detailed analysis of the structure of idempotent residuated chains serving as index sets on two levels: as certain enriched Galois connections and as enhanced monoidal preorders. Using this, we show that although conic idempotent residuated lattices do not enjoy the amalgamation property, the natural class of rigid and conjunctive conic idempotent residuated lattices has the strong amalgamation property, and consequently has surjective epimorphisms. We extend this result to the variety generated by rigid and conjunctive conic idempotent residuated lattices, and establish the amalgamation, strong amalgamation, and epimorphism-surjectivity properties for several important subvarieties. Based on this algebraic work, we obtain local deduction theorems, the deductive interpolation property, and the projective Beth definability property for the corresponding substructural logics.
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Structure theory of algebraic structures (08A05) Ordered semigroups and monoids (06F05) Logical aspects of lattices and related structures (03G10) Interpolation, preservation, definability (03C40) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)
This page was built for publication: Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6408360)
