Semiconic idempotent logic. I: Structure and local deduction theorems.

DOI10.1016/J.APAL.2024.103443MaRDI QIDQ6539430zbMATH OpenFDO

Authors Wesley Fussner, Nikolaos Galatos

Publication date 14 May 2024

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

Full work available at URL https://doi.org/10.1016/J.APAL.2024.103443

zbMATH Keywords

substructural logicscongruence extension propertydeduction theoremssemilinear residuated latticessemiconic idempotent logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05) Ordered semigroups and monoids (06F05) Logical aspects of lattices and related structures (03G10) Interpolation, preservation, definability (03C40) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Cites work

• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 192848 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• A constructive analysis of RM
• A topological approach to MTL-algebras
• Abstract algebraic logic. An introductory textbook
• Algebraic proof theory: hypersequents and hypercompletions
• Algebraizable logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Cancellative residuated lattices
• Categories of models of \(\mathbf{R}\)-mingle
• Commutative idempotent residuated lattices
• Computer Science Logic
• Conical residuated lattice-ordered idempotent monoids
• Embedding theorems for classes of GBL-algebras
• Equational bases for joins of residuated-lattice varieties
• FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
• Linear logic
• MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
• Metamathematics of fuzzy logic
• Minimal varieties of residuated lattices
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On n ‐contractive fuzzy logics
• On semiconic idempotent commutative residuated lattices
• Poset products as relational models
• Positive Sugihara monoids
• Priestley duality for MV-algebras and beyond
• Representable idempotent commutative residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Semiconic idempotent residuated structures
• Some modal and temporal translations of generalized basic logic
• Structure theorems for idempotent residuated lattices
• Substructural fuzzy logics
• Substructural logics: a primer
• The Logic of Bunched Implications
• The structure of finite commutative idempotent involutive residuated lattices
• The structure of generalized BI-algebras and weakening relation algebras
• The structure of idempotent residuated chains.
• The subvariety lattice for representable idempotent commutative residuated lattices
• Transfer theorems for finitely subdirectly irreducible algebras
• Variety generated by conical residuated lattice-ordered idempotent monoids
• W-algebras which are Boolean products of members of SR[1] and CW- algebras

Cited in

(4)

• Interpolation in Hájek's basic logic
• Interpolation in linear logic and related systems
• Amalgamation in semilinear residuated lattices
• Semiconic idempotent logic. II: Beth definability and deductive interpolation

This page was built for publication: Semiconic idempotent logic. I: Structure and local deduction theorems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6539430)