Logica Universalis 3 (1):125-152 (2009)
Authors |
|
Abstract |
Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. We generalize the weak distributivity laws between fusion and fission to interactions of certain monotone operations within distributive super gGl s. We are able to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGl s and classes of structures for them.
|
Keywords | cut rule gaggle theory Routley–Meyer semantics categorial grammars functorial duality topological representation |
Categories | (categorize this paper) |
DOI | 10.1007/s11787-009-0004-3 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
An Introduction to Substructural Logics (Review).Kosta Dosen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
Kripke Models for Linear Logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Combinators and Structurally Free Logic.J. Dunn & R. Meyer - 1997 - Logic Journal of the IGPL 5 (4):505-537.
View all 9 references / Add more references
Citations of this work BETA
Generalized Kripke Semantics for the Lambek-Grishin Calculus.A. Chernilovskaya, M. Gehrke & L. van Rooijen - 2012 - Logic Journal of the IGPL 20 (6):1110-1132.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Powerset Residuated Algebras.Mirosława Kołowska-Gawiejnowicz - 2014 - Logic and Logical Philosophy 23 (1):69-80.
Similar books and articles
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Semantics for Dual and Symmetric Combinatory Calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
Kolmogorov Complexity and Symmetric Relational Structures.W. L. Fouché & P. H. Potgieter - 1998 - Journal of Symbolic Logic 63 (3):1083-1094.
Functorial Duality for Ortholattices and de Morgan Lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices).Gianpiero Cattaneo - 1997 - Studia Logica 58 (1):47-77.
Analytics
Added to PP index
2009-04-27
Total views
55 ( #179,387 of 2,402,070 )
Recent downloads (6 months)
5 ( #156,686 of 2,402,070 )
2009-04-27
Total views
55 ( #179,387 of 2,402,070 )
Recent downloads (6 months)
5 ( #156,686 of 2,402,070 )
How can I increase my downloads?
Downloads