Other formats:
BibTeX
LaTeX
RIS
@proceedings{1793025, author = {Raclavský, Jiří}, booktitle = {Formal Reasoning and Semantics IV (FORMALS 2021), Dubrovnik, September 20-24, 2021}, keywords = {existential generalisation; natural deduction; explicit substitution; fine-grained hyperintensionality}, language = {eng}, note = {(conf.)}, title = {The Rule of Existential Generalisation, Its Derivability and Formal Semantics}, url = {https://iuc.hr/programme/1480}, year = {2021} }
TY - CONF ID - 1793025 AU - Raclavský, Jiří PY - 2021 TI - The Rule of Existential Generalisation, Its Derivability and Formal Semantics N1 - (conf.) KW - existential generalisation KW - natural deduction KW - explicit substitution KW - fine-grained hyperintensionality UR - https://iuc.hr/programme/1480 N2 - My contribution addresses various issues concerning the rule of existential generalisation (EG). My solutions are framed within a higher-order partial type theory TT* that is equipped with a natural deduction system ND-TT*. I derive (EG) from its primitive rules, especially the rule of existential quantifier introduction (Exists-I). Similarly for another derived rule (Exists-I-eta). Substitution (t/x) of (EG) is fully and adequately specified inside the system and so (EG) is uniformly applicable within extensional, intensional and even hyperintensional contexts (we face no problems with quantifying in). ER -
RACLAVSKÝ, Jiří. The Rule of Existential Generalisation, Its Derivability and Formal Semantics. In \textit{Formal Reasoning and Semantics IV (FORMALS 2021), Dubrovnik, September 20-24, 2021}. 2021.
|