Proof-Theory and Semantics for a Theory of Definite Descriptions

von Kürbis, Nils
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

Proof and falsity : a logical investigation

von Kürbis, Nils
Veröffentlicht 2019

A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions

von Indrzejczak, Andrzej
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Proof and falsity : a logical investigation

von Kürbis, Nils
Veröffentlicht 2019

Knowledge, number and reality : encounters with the work of Keith Hossack

Veröffentlicht 2022

Knowledge, number and reality : encounters with the work of Keith Hossack

Veröffentlicht 2023