Existential Import, Partiality, and Squares of Opposition
Autoři | |
---|---|
Rok publikování | 2018 |
Druh | Konferenční abstrakty |
Fakulta / Pracoviště MU | |
Citace | |
Popis | 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. |
Související projekty: |