Residuated lattices. An algebraic glimpse at substructural logics
From MaRDI portal
Publication:881452
zbMath1171.03001MaRDI QIDQ881452
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)
Galois connectioncut eliminationsplittingcompletionsdecidabilitysubstructural logicssemisimplicityresiduated latticesdeductive filtersfinite embeddabilityGlivenko theoremsHilbert systems
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) 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) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) 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)
Related Items (only showing first 100 items - show all)
Residuation in orthomodular lattices ⋮ Canonical formulas for \(k\)-potent commutative, integral, residuated lattices ⋮ Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ On square-increasing ordered monoids and idempotent semirings ⋮ Note on Deduction Theorems in contraction-free logics ⋮ Diagrams of Fuzzy Orderings ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Associativity, commutativity and symmetry in residuated structures ⋮ Prelinear algebras in relatively regular quasivarieties ⋮ Generalized Bosbach states. I ⋮ FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE ⋮ Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ The radical of a perfect residuated structure ⋮ Admissibility in De Morgan algebras ⋮ Extended-order algebras and fuzzy implicators ⋮ Characteristic formulas of partial Heyting algebras ⋮ The stable topology for residuated lattices ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ Residuated operators in complemented posets ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Tensor products of complete lattices and their application in constructing quantales ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Residuated expansions of lattice-ordered structures ⋮ Implication via spacetime ⋮ Pseudo equality algebras: revision ⋮ Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Tools for the Investigation of Substructural and Paraconsistent Logics ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Necessary and sufficient conditions for the existence of solution of generalized fuzzy relation equations \(\mathbf{A} \Leftrightarrow\mathrm{X} = \mathrm{B}\) ⋮ Epimorphisms in varieties of residuated structures ⋮ Prior’s OIC nonconservativity example revisited ⋮ A comparison between monoidal and substructural logics ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Boolean product representations of algebras via binary polynomials ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Variety generated by conical residuated lattice-ordered idempotent monoids ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Mathematical Fuzzy Logics ⋮ Unitless Frobenius quantales ⋮ Intermediate logics admitting a structural hypersequent calculus ⋮ A categorical equivalence for Stonean residuated lattices ⋮ On involutive nonassociative Lambek calculus ⋮ Neighbourhood semantics for modal relevant logics ⋮ On Classical Nonassociative Lambek Calculus ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ Attribute dependencies for data with grades I, ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Unary-determined distributive \(\ell \)-magmas and bunched implication algebras ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ Some modal and temporal translations of generalized basic logic ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ Time warps, from algebra to algorithms ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Intuitionistic propositional logic with Galois negations ⋮ Categorial Grammars and Their Logics ⋮ Interior and closure operators on bounded residuated lattices ⋮ Modal MTL-algebras ⋮ Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices ⋮ Interior and closure operators on commutative basic algebras ⋮ Lattice-theoretic properties of algebras of logic ⋮ Nodal filters in Residuated Lattices ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Implicative twist-structures ⋮ Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. ⋮ Kites and pseudo BL-algebras. ⋮ Varieties generated by standard BL-algebras ⋮ Residuation in modular lattices and posets ⋮ On quasi-varieties of multiple valued logic models ⋮ Plug and Play Negations ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ On the algebraic structure of Weihrauch degrees ⋮ A Paraconsistent and Substructural Conditional Logic ⋮ Residuated frames with applications to decidability ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES ⋮ Forcing operators on MTL-algebras ⋮ Conuclear images of substructural logics ⋮ Modal operators on commutative residuated lattices ⋮ Archimedean classes in integral commutative residuated chains ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically ⋮ Categories: How I Learned to Stop Worrying and Love Two Sorts ⋮ Soft Constraints Processing over Divisible Residuated Lattices ⋮ Expanding the Realm of Systematic Proof Theory ⋮ Cardinalities of Finite Relations in Coq ⋮ On Standard Completeness for Non-commutative Many-Valued Logics ⋮ Equivalence of consequence relations: an order-theoretic and categorical perspective ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results ⋮ Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ A categorical equivalence for product algebras ⋮ Monoidal functional dependencies
This page was built for publication: Residuated lattices. An algebraic glimpse at substructural logics
