Grishin algebras and cover systems for classical bilinear logic

DOI10.1007/S11225-011-9360-0MaRDI QIDQ647406zbMATH OpenOpenAlexFDO

Authors 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

bilinear logiccover systemGrishin algebraKripke-Joyal semanticsMacNeille completionorthogonality relationquantaleresiduated lattice-ordered monoid

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1303456
• GRISLY DEDUCTIVE SYSTEMS OF BL-ALGEBRAS
• An approach to Glivenko's theorem in algebraizable logics
• On complete representations of algebras of logic
• A logic-algebraic approach to graded inclusion
• scientific article; zbMATH DE number 786486
• A survey of generalized Basic Logic algebras
• Algebraizable logics
• scientific article; zbMATH DE number 1526148
• Algebras of logic as BCK algebras

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Closure operators and complete embeddings of residuated lattices
• Constructing locales from quantales
• Cover semantics for quantified lax logic
• scientific article; zbMATH DE number 5295711 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1303456 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• Linear logic
• Logics without the contraction rule
• MacNeille completions of lattice expansions
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantic analysis of orthologic
• Sequent-systems and groupoid models. II
• Sheaves in geometry and logic: a first introduction to topos theory
• Some lattice models of bilinear logic

Cited in

(3)

• Some lattice models of bilinear logic
• scientific article; zbMATH DE number 1303456 (Why is no real title available?)
• Cover systems for the modalities of linear logic

This page was built for publication: Grishin algebras and cover systems for classical bilinear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647406)