Residuated lattices. An algebraic glimpse at substructural logics
zbMATH Open1171.03001MaRDI QIDQ881452FDOQ881452
Authors: Nikolaos Galatos, Tomasz Kowalski, Hiroakira Ono, Peter Jipsen 
Publication date: 30 May 2007
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Recommendations
decidabilitysemisimplicitysubstructural logicscompletionscut eliminationGalois connectionresiduated latticessplittingdeductive filtersfinite embeddabilityGlivenko theoremsHilbert systems
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) Ordered semigroups and monoids (06F05) Logical aspects of lattices and related structures (03G10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Varieties of lattices (06B20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)
Cited In (only showing first 100 items - show all)
- Attribute dependencies for data with grades I,
- Intermediate logics admitting a structural hypersequent calculus
- Representation by triples of algebras with an MV-retract
- Title not available (Why is that?)
- Applying set optimization to weak efficiency
- Integrally closed residuated lattices
- A positive information logic for inferential information
- Title not available (Why is that?)
- Projectivity in (bounded) commutative integral residuated lattices
- AGGREGATION AND IDEMPOTENCE
- Dual quantum B-algebras
- A representation of fuzzy numbers
- On prevarieties of logic
- Quasicomplemented residuated lattices
- A semantic hierarchy for intuitionistic logic
- \(L\)-algebras and three main non-classical logics
- Quasi-Nelson algebras and fragments
- Gluing residuated lattices
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- Confluence and termination of fuzzy relations
- Representation of integral quantales by tolerances
- Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
- Tensor products of complete lattices and their application in constructing quantales
- Relative negations in non-commutative fuzzy structures
- Rules with parameters in modal logic. I.
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- STABLE MODAL LOGICS
- A survey on the categorical term construction with applications
- Rickart residuated lattices
- Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
- Generalized ordinal sums and translations
- Hypersequent and display calculi -- a unified perspective
- A logic of graded attributes
- ON EQUATIONAL COMPLETENESS THEOREMS
- Characterization of extended filters in residuated lattices
- Graded consequence: an institution theoretic study
- Bases of closure systems over residuated lattices
- Modal translation of substructural logics
- Reasoning with ambiguity
- Filters on some classes of quantum B-algebras
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic
- A note on intervals of residuated \(\ell \)-groupoids
- Multi-adjoint algebras versus non-commutative residuated structures
- Varieties of K-lattices
- The coextension of commutative pomonoids and its application to triangular norms
- Topological residuated lattices
- Injective and projective semimodules over involutive semirings
- Constructive logic with strong negation is a substructural logic. II
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
- Fuzzy sets and formal logics
- Blurring: an approach to conflation
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Algorithmic correspondence and canonicity for distributive modal logic
- Periodic lattice-ordered pregroups are distributive
- Boolean lifting property for residuated lattices
- Central points and approximation in residuated lattices
- Glivenko theorems revisited
- Varieties generated by unital abelian \(\ell\)-groups
- Symmetric categorial grammar
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Continuation semantics for the Lambek-Grishin calculus
- Canonicity in subvarieties of BL-algebras
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices
- On the variety generated by bounded pseudo-BCK-algebras
- Density revisited
- Algebraic and topological results on lifting properties in residuated lattices
- Lattice pseudoeffect algebras as double residuated structures
- Reasoning about mathematical fuzzy logic and its future
- Title not available (Why is that?)
- Generalized state operators on residuated lattices
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics
- Glivenko theorems and negative translations in substructural predicate logics
- On involutive FL\(_{e}\)-monoids
- Extremal states on bounded residuated \(\ell\)-monoids with general comparability
- On residuated lattices with left and right internal state
- Characteristic inference rules
- Generalized Bosbach states. I
- The stable topology for residuated lattices
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- On quasi-varieties of multiple valued logic models
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- Quantifiers on L-algebras
- Interval MV-algebras and generalizations.
- Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
- A Minty variational principle for set optimization
- Canonical extensions of posets.
- Involutive residuated lattices based on modular and distributive lattices.
- The categorical imperative: category theory as a foundation for deontic logic
- On deductive interpolation for the weak nilpotent minimum logic
- Algebraic modal correspondence: Sahlqvist and beyond
- Fixed elements in involutive residuated lattices
- Associativity, commutativity and symmetry in residuated structures
- Completion and finite embeddability property for residuated ordered algebras.
- Algebraic Kripke-style semantics for relevance logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- The radical of a perfect residuated structure
This page was built for publication: Residuated lattices. An algebraic glimpse at substructural logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q881452)
