Semiconic idempotent logic. I: Structure and local deduction theorems.
DOI10.1016/j.apal.2024.103443MaRDI QIDQ6539430
Wesley Fussner, Nikolaos Galatos
Publication date: 14 May 2024
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
congruence extension propertysubstructural logicsdeduction theoremssemilinear residuated latticessemiconic idempotent logic
Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Equational classes, universal algebra in model theory (03C05) Products, amalgamated products, and other kinds of limits and colimits (08B25) Interpolation, preservation, definability (03C40)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- The subvariety lattice for representable idempotent commutative residuated lattices
- Algebraic proof theory: hypersequents and hypercompletions
- Conical residuated lattice-ordered idempotent monoids
- The structure of generalized BI-algebras and weakening relation algebras
- On semiconic idempotent commutative residuated lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Embedding theorems for classes of GBL-algebras
- Positive Sugihara monoids
- Semiconic idempotent residuated structures
- W-algebras which are Boolean products of members of SR[1 and CW- algebras]
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Substructural logics: a primer
- Equational bases for joins of residuated-lattice varieties
- Poset products as relational models
- Priestley duality for MV-algebras and beyond
- Structure theorems for idempotent residuated lattices
- The structure of finite commutative idempotent involutive residuated lattices
- Categories of models of \(\mathbf{R}\)-mingle
- A topological approach to MTL-algebras
- Variety generated by conical residuated lattice-ordered idempotent monoids
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Cancellative residuated lattices
- Minimal varieties of residuated lattices
- Some modal and temporal translations of generalized basic logic
- The structure of idempotent residuated chains
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
- Representable idempotent commutative residuated lattices
- Commutative idempotent residuated lattices
- A constructive analysis of RM
- Algebraizable logics
- The Logic of Bunched Implications
- MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
- Computer Science Logic
- On n ‐contractive fuzzy logics
- Substructural fuzzy logics
- Transfer theorems for finitely subdirectly irreducible algebras
Related Items (2)
This page was built for publication: Semiconic idempotent logic. I: Structure and local deduction theorems.
