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.
|
