Nils Kürbis

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 18

Top Topics

Classical Logic

Top Venues

J. Philos. Log.

Publications

Nils Kürbis
Comment on Mark Textor: Brentano's Positing Theory of Existence. CoRR (2023)
Andrzej Indrzejczak, Nils Kürbis
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. TABLEAUX (2023)
Nils Kürbis
Bilateral Inversion Principles. NCL (2022)
Nils Kürbis
Normalisation and subformula property for a system of classical logic with Tarski's rule. Arch. Math. Log. 61 (1) (2022)
Nils Kürbis
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics. Stud Logica 110 (1) (2022)
Nils Kürbis
A Sketch of a Proof-Theoretic Semantics for Necessity. CoRR (2021)
Nils Kürbis
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic. CoRR (2021)
Nils Kürbis
Proof-Theory and Semantics for a Theory of Definite Descriptions. TABLEAUX (2021)
Nils Kürbis
Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule. CoRR (2021)
Nils Kürbis
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules. CoRR (2021)
Nils Kürbis
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. FLAP 8 (7) (2021)
Nils Kürbis
Proof-Theory and Semantics for a Theory of Definite Descriptions. CoRR (2021)
Nils Kürbis
Definite Descriptions in Intuitionist Positive Free Logic. CoRR (2021)
Nils Kürbis
Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it. CoRR (2021)
Nils Kürbis
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. CoRR (2021)
Nils Kürbis
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation. CoRR (2021)
Nils Kürbis
Normalisation for Bilateral Classical Logic with some Philosophical Remarks. FLAP 8 (2) (2021)
Nils Kürbis
Some Comments on Ian Rumfitt's Bilateralism. J. Philos. Log. 45 (6) (2016)
Nils Kürbis
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. J. Philos. Log. 44 (6) (2015)