Semiconic idempotent logic. II: Beth definability and deductive interpolation

DOI10.1016/J.APAL.2024.103528MaRDI QIDQ6658080zbMATH OpenFDO

Authors Wesley Fussner, Nikolaos Galatos

Publication date 8 January 2025

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

substructural logicssemilinear residuated latticessemiconic idempotent logic(strong) amalgamation propertyinterpolation and beth definabilitysurjective epimorphisms

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40)

Cites work

• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A category equivalence for odd Sugihara monoids and its applications
• A topological approach to MTL-algebras
• Abstract algebraic logic. An introductory textbook
• Algebraic characterizations of various Beth definability properties
• Algebraizable logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Amalgamation and interpolation in ordered algebras.
• Categories of models of \(\mathbf{R}\)-mingle
• Computer Science Logic
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Equational bases for joins of residuated-lattice varieties
• Idempotent residuated structures: Some category equivalences and their applications
• Linear logic
• Metamathematics of fuzzy logic
• Minimal varieties of residuated lattices
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Negative translations of orthomodular lattices and their logic
• On n ‐contractive fuzzy logics
• On semiconic idempotent commutative residuated lattices
• Poset products as relational models
• Priestley duality for MV-algebras and beyond
• Representable idempotent commutative residuated lattices
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuated structures and orthomodular lattices
• Semiconic idempotent logic. I: Structure and local deduction theorems.
• Some modal and temporal translations of generalized basic logic
• Strong amalgamation of distributive lattices
• Structure theorems for idempotent residuated lattices
• The Logic of Bunched Implications
• The structure of idempotent residuated chains.
• Transfer theorems for finitely subdirectly irreducible algebras
• Varieties of BL-algebras. I: General properties.

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 Q6658080)