Existential Import, Partiality, and Squares of Opposition



Year of publication 2018
Type Conference abstract
MU Faculty or unit

Faculty of Arts

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:

You are running an old browser version. We recommend updating your browser to its latest version.