Semiconic idempotent logic. II: Beth definability and deductive interpolation

DOI10.1016/J.APAL.2024.103528MaRDI QIDQ6658080

Publication date: 8 January 2025

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

substructural logics semilinear residuated lattices semiconic idempotent logic (strong) amalgamation property interpolation and beth definability surjective 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)