scientific article; zbMATH DE number 2070197
From MaRDI portal
Publication:4463933
algebraic semanticsresiduated structuresequent systemsubstructural logicsurveyvariety of residuated lattices
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Logical aspects of lattices and related structures (03G10)
Recommendations
Cited in
(49)- Constructive logic with strong negation is a substructural logic. II
- Semilinear substructural logics with the finite embeddability property
- On local triangle algebras
- Similarity triangle logic
- Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra \& Substructural Logics -- Take 6), Cagliari, Italy, June 11--13, 2018
- Fuzzy logics from substructural perspective
- Some weaker versions of topological residuated lattices
- Lower semilattice-ordered residuated semigroups and substructural logics
- Coalgebraic completeness-via-canonicity for distributive substructural logics
- \(\mathrm{NL}_\lambda\) as the logic of scope and movement
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- On three implication-less fragments of t-norm based fuzzy logics
- Beyond Rasiowa's algebraic approach to non-classical logics
- Definability and interpolation in non-classical logics
- Current trends in substructural logics
- Residuation in existential graphs
- Editorial introduction: substructural logics and metainferences
- Representable idempotent commutative residuated lattices
- Residuation for bipolar preferences in soft constraints
- Logics without the contraction rule and residuated lattices
- On the Convergence with Fixed Regulator in Residuated Structures
- Decidability of the interpolation problem and of related properties in tabular logics
- A comparison between monoidal and substructural logics
- The categorical imperative: category theory as a foundation for deontic logic
- scientific article; zbMATH DE number 822106 (Why is no real title available?)
- PMTL filters, R filters and PBL filters in residuated lattices
- Residual implications on the set of discrete fuzzy numbers
- St. Alasdair on Lattices Everywhere
- scientific article; zbMATH DE number 7297101 (Why is no real title available?)
- On the Class of Subsets of Residuated lattice which induces a Congruence Relation
- Regularity in residuated lattices
- The general nilpotent operator system
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- Galois connection of stabilizers in residuated lattices
- scientific article; zbMATH DE number 7644094 (Why is no real title available?)
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Many-valued coalgebraic modal logic: one-step completeness and finite model property
- A note on Kripke semantics for residuated logic
- On residuated n-lattice
- Simplified semantics for further relevant logics. I: Unreduced semantics for \(\mathbf{E}\) and \(\boldsymbol{\Pi}'\)
- Compatible operations on residuated lattices
- On the difference between traditional and deductive fuzzy logic
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices
- Residuated lattices. An algebraic glimpse at substructural logics
- Graded consequence: an institution theoretic study
- Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras
- Constructive logic with strong negation is a substructural logic. I
- Logics with disjunction and proof by cases
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4463933)
