Graduate studies at Western
Logica Universalis 3 (1):125-152 (2009)
|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)|
|Through your library||Configure|
Similar books and articles
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
Katalin Bimbó (2004). Semantics for Dual and Symmetric Combinatory Calculi. Journal of Philosophical Logic 33 (2):125-153.
Michael Moortgat (2009). Symmetric Categorial Grammar. Journal of Philosophical Logic 38 (6):681 - 710.
Agostinho Almeida (2009). Canonical Extensions and Relational Representations of Lattices with Negation. Studia Logica 91 (2):171 - 199.
W. L. Fouché & P. H. Potgieter (1998). Kolmogorov Complexity and Symmetric Relational Structures. Journal of Symbolic Logic 63 (3):1083-1094.
Katalin Bimbó (2007). Functorial Duality for Ortholattices and de Morgan Lattices. Logica Universalis 1 (2):311-333.
Mai Gehrke (2006). Generalized Kripke Frames. Studia Logica 84 (2):241 - 275.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica 64 (2):151-172.
Gianpiero Cattaneo (1997). Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices). Studia Logica 58 (1):47-77.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Added to index2009-04-27
Total downloads17 ( #78,107 of 739,348 )
Recent downloads (6 months)0
How can I increase my downloads?