A galois connection
Logica Universalis 1 (1) (2007)
| Abstract | . The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other. | |||||||||
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesCarlos Areces & Raffaella Bernardi (2004). Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13 (2):121-137.
Alice Medvedev & Ramin Takloo-Bighash (2010). An Invitation to Model-Theoretic Galois Theory. The Bulletin of Symbolic Logic 16 (2):261 - 269.
Tapani Hyttinen & Meeri Kesälä (2010). Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. Notre Dame Journal of Formal Logic 52 (1):39-54.
Andrzej W. Jankowski (1985). Galois Structures. Studia Logica 44 (2):109 - 124.
Arnold Johanson (1988). Imperative Logic as Based on a Galois Connection. Theoria 54 (1):1-24.
Klaus Denecke & Dara Phusanga (2008). Hyperformulas and Solid Algebraic Systems. Studia Logica 90 (2):263 - 286.
Gary M. Hardegree (2005). Completeness and Super-Valuations. Journal of Philosophical Logic 34 (1):81 - 95.
Herman Cappelen & Ernie Lepore (1998). Reply to Richard and Reimer. Mind and Language 13 (4):617–621.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,150 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
