Informace o publikaci
Partiality of Propositions and Existential Import of Modal / Non-Modal Categorical Statements
| Autoři | |
|---|---|
| Rok publikování | 2017 |
| Druh | Konferenční abstrakty |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | I utilize a convenient higher-order modal predicate logic, a partial type theory, to provide an apt and satisfactory treatment of existential import of categorical and modal categorical statements. The approach accommodates the well defensible assumption that some propositions are truth-valueless. |
| Související projekty: |