1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Two Cases of Deduction with Non-referring Descriptions
Jiří Raclavský
Formal reasoning with non-denoting terms, esp. non-referring descriptions such as "the King of France", is still an under-investigated area. The recent exception being a series of…
cs.LO2022★ 1 cited
Puzzles of Existential Generalisation from Type-theoretic Perspective
Jiří Raclavský
The present paper addresses several puzzles related to the Rule of Existential Generalization, (EG). In solution to these puzzles from the viewpoint of simple type theory, I distin…