Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics

DOI10.1007/s11225-012-9381-3zbMath1263.03059OpenAlexW2094131295MaRDI QIDQ454386

Hiroakira Ono

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9381-3

zbMATH Keywords

residuated latticesalgebraic completenessCrawley completionsinfinite distributivitiesregular completionssubstructural predicate logics

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Neighbourhood semantics for quantified relevant logics ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Constructivism in mathematics. An introduction. Volume II
• Crawley's completion of a conditionally upper continuous lattice
• Sequent-systems and groupoid models. II
• Closure operators and complete embeddings of residuated lattices
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• Lattices and ordered algebraic structures
• A study of intermediate predicate logics
• MacNeille completions of lattice expansions
• Section semicomplemented lattices
• Distributivity in lattices
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• Logics without the contraction rule
• Regular Embeddings which Preserve Lattice Structure
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• Meet-Irreducible Elements in Implicative Lattices
• Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets.
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis

This page was built for publication: Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics