Graduate studies at Western
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||Grishin algebra bilinear logic residuated lattice-ordered monoid quantale cover system orthogonality relation Kripke-Joyal semantics MacNeille completion|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Roger 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):227-250.
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. [REVIEW] 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.
Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic 1 (2):146-166.
Robin Hirsch & Ian Hodkinson (1997). Step by Step-Building Representations in Algebraic Logic. Journal of Symbolic Logic 62 (1):225-279.
Added to index2011-08-27
Total downloads6 ( #154,793 of 739,318 )
Recent downloads (6 months)1 ( #61,243 of 739,318 )
How can I increase my downloads?