Galois connections in categorial type logic
| Authors |
|
|---|---|
| Publication date | 2004 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | Issue number | 53 |
| Pages (from-to) | 3-20 |
| Organisations |
|
| Abstract | The introduction of unary connectives has proved to be an important addition to the categorial vocabulary. The connectives considered so far are order-preserving; in this paper instead, we consider the addition of order-reversing, Galois connected operators. In §2 we do the basic model-theoretic and proof-theoretic groundwork. In §3 we use the expressive power of the Galois connected operators to restrict the scopal possibilities of generalized quantifier expressions, and to describe a typology of polarity items. |
| Document type | Article |
| Language | English |
| Related publication | Galois connections in categorial type logic |
| Published at |
https://doi.org/10.1016/S1571-0661(05)82570-8
(Final published version)
|
| Permalink to this page | |