Semiconic idempotent logic. II: Beth definability and deductive interpolation

DOI10.1016/J.APAL.2024.103528MaRDI QIDQ6658080FDOQ6658080

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

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