Grishin algebras and cover systems for classical bilinear logic

DOI10.1007/s11225-011-9360-0zbMath1258.03092OpenAlexW2059820324MaRDI QIDQ647406

Robert Goldblatt

Publication date: 23 November 2011

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

Full work available at URL: https://doi.org/10.1007/s11225-011-9360-0

zbMATH Keywords

MacNeille completionorthogonality relationquantaleKripke-Joyal semanticsbilinear logiccover systemGrishin algebraresiduated lattice-ordered monoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

Cover systems for the modalities of linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Sheaves in geometry and logic: a first introduction to topos theory
• Sequent-systems and groupoid models. II
• Semantic analysis of orthologic
• Closure operators and complete embeddings of residuated lattices
• Some lattice models of bilinear logic
• MacNeille completions of lattice expansions
• Cover semantics for quantified lax logic
• Logics without the contraction rule
• Constructing locales from quantales
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS