Semiconic idempotent logic. II: Beth definability and deductive interpolation

DOI10.1016/J.APAL.2024.103528MaRDI QIDQ6658080

Nikolaos Galatos, Wesley Fussner

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

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

Cites Work

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

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)