Grishin Algebras and Cover Systems for Classical Bilinear Logic
Studia Logica 99 (1-3):203-227 (2011)
| Abstract | Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some cover system, by a map that preserves all existing joins and meets. This representation is then used to give a cover system semantics for a version of classical bilinear logic that has first-order quantifiers and infinitary conjunctions and disjunctions | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRoger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Matteo Bianchi (2013). The Variety Generated by All the Ordinal Sums of Perfect MV-Chains. Studia Logica 101 (1):11-29.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Robert Goldblatt (1985). An Algebraic Study of Well-Foundedness. Studia Logica 44 (4):423 - 437.
G. Aldo Antonelli (1999). Free Set Algebras Satisfying Systems of Equations. Journal of Symbolic Logic 64 (4):1656-1674.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Maarten De Rijke (1995). The Logic of Peirce Algebras. Journal of Logic, Language and Information 4 (3).
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Bronisław Tembrowski (1989). B-Varieties with Normal Free Algebras. Studia Logica 48 (4):555 - 564.
Piero Pagliani (1997). Information Gaps as Communication Needs: A New Semantic Foundation for Some Non-Classical Logics. Journal of Logic, Language and Information 6 (1):63-99.
Fabio Bellissima (1986). Finitely Generated Free Heyting Algebras. Journal of Symbolic Logic 51 (1):152-165.
Robin Hirsch & Ian Hodkinson (1997). Step by Step-Building Representations in Algebraic Logic. Journal of Symbolic Logic 62 (1):225-279.
Analytics
Monthly downloads |
Added to index2011-08-27Total downloads6 ( #145,546 of 549,067 )Recent downloads (6 months)1 ( #63,185 of 549,067 )How can I increase my downloads? |
My notes
Discussion
