Existential Import, Partiality, and Squares of Opposition
| Authors | |
|---|---|
| Year of publication | 2018 |
| Type | Conference abstract |
| MU Faculty or unit | |
| Citation | |
| Description | The talk embraces partial propositions and partial predicates into a type-theoretic system which is used for analysis of modern as well as its extended modal square of opposition. Existential import is defined and the desiderata implemented in the definition are discussed. |
| Related projects: |