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)

Review text

The aim of the paper is to show a construction of Grishin algebras based on certain subsets of cover systems with an orthogonality relation used to interpret the negations. In order to achieve this aim, first it is shown that the Grishin algebras are closed under MacNeille completion. Using this fact the author proves the main result of the paper saying that an arbitrary Grishin algebra has an isomorphic embedding into the algebra of all propositions of some cover system, by a map that preserves all existing joins and meets. The paper is completed by a presentation of a cover system semantics for a version of classical bilinear logic that has first-order quantifiers and infinitary conjunctions and disjunctions.

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)