scientific article; zbMATH DE number 2070197
From MaRDI portal
Publication:4463933
zbMath1048.03018MaRDI QIDQ4463933
Publication date: 8 June 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyalgebraic semanticssubstructural logicsequent systemresiduated structurevariety of residuated lattices
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (36)
Current trends in substructural logics ⋮ On the Class of Subsets of Residuated lattice which induces a Congruence Relation ⋮ Representable idempotent commutative residuated lattices ⋮ On the difference between traditional and deductive fuzzy logic ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Unnamed Item ⋮ Residuation for bipolar preferences in soft constraints ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Residuation in existential graphs ⋮ A comparison between monoidal and substructural logics ⋮ Editorial introduction: substructural logics and metainferences ⋮ Graded consequence: an institution theoretic study ⋮ \(\mathrm{NL}_\lambda\) as the logic of scope and movement ⋮ Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras ⋮ Proper semantics for substructural logics, from a stalker theoretic point of view ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Logics with disjunction and proof by cases ⋮ Residual implications on the set of discrete fuzzy numbers ⋮ The general nilpotent operator system ⋮ Fuzzy logics from substructural perspective ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Definability and interpolation in non-classical logics ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ On local triangle algebras ⋮ On the Convergence with Fixed Regulator in Residuated Structures ⋮ Compatible operations on residuated lattices ⋮ Some weaker versions of topological residuated lattices ⋮ Similarity triangle logic ⋮ Galois connection of stabilizers in residuated lattices ⋮ Regularity in residuated lattices ⋮ St. Alasdair on Lattices Everywhere
This page was built for publication:
