Další formáty:
BibTeX
LaTeX
RIS
@proceedings{1464477, author = {Raclavský, Jiří}, booktitle = {6th Congress on the Square of Opposition (SQUARE 2018)}, keywords = {partial type theory; existential import; square of opposition; higher-order modal logic}, language = {eng}, note = {(conf. abstract)}, title = {Existential Import, Partiality, and Squares of Opposition}, year = {2018} }
TY - CONF ID - 1464477 AU - Raclavský, Jiří PY - 2018 TI - Existential Import, Partiality, and Squares of Opposition N1 - (conf. abstract) KW - partial type theory KW - existential import KW - square of opposition KW - higher-order modal logic N2 - 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. ER -
RACLAVSKÝ, Jiří. Existential Import, Partiality, and Squares of Opposition. In \textit{6th Congress on the Square of Opposition (SQUARE 2018)}. 2018.
|