Symmetric generalized galois logics
Logica Universalis 3 (1) (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 | 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesViorica 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.
Gianpiero Cattaneo (1997). Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices). Studia Logica 58 (1):47-77.
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.
Mai Gehrke (2006). Generalized Kripke Frames. Studia Logica 84 (2):241 - 275.
Katalin Bimbó (2007). Functorial Duality for Ortholattices and de Morgan Lattices. Logica Universalis 1 (2).
W. L. Fouché & P. H. Potgieter (1998). Kolmogorov Complexity and Symmetric Relational Structures. Journal of Symbolic Logic 63 (3):1083-1094.
Agostinho Almeida (2009). Canonical Extensions and Relational Representations of Lattices with Negation. Studia Logica 91 (2):171 - 199.
Michael Moortgat (2009). Symmetric Categorial Grammar. Journal of Philosophical Logic 38 (6).
Katalin Bimbó (2004). Semantics for Dual and Symmetric Combinatory Calculi. Journal of Philosophical Logic 33 (2):125-153.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Analytics
Monthly downloads |
Added to index2009-04-27Total downloads17 ( #70,994 of 548,983 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
