Nils Kürbis

According to our database, Nils Kürbis authored at least 18 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2024

Normalisation for Negative Free Logics without and with Definite Descriptions.

Nils Kürbis

CoRR, 2024

Molecularity in the Theory of Meaning and the Topic Neutrality of Logic.

Bernhard Weiss, Nils Kürbis

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023

Comment on Mark Textor: Brentano's Positing Theory of Existence.

Nils Kürbis

CoRR, 2023

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

Andrzej Indrzejczak, Nils Kürbis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.

Nils Kürbis

Stud Logica, 2022

Bilateral Inversion Principles.

Nils Kürbis

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Normalisation and subformula property for a system of classical logic with Tarski's rule.

Nils Kürbis

Arch. Math. Log., 2022

2021

Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.

Nils Kürbis

FLAP, 2021

Normalisation for Bilateral Classical Logic with some Philosophical Remarks.

Nils Kürbis

FLAP, 2021

Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.

Nils Kürbis

CoRR, 2021

Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it.

Nils Kürbis

CoRR, 2021

Definite Descriptions in Intuitionist Positive Free Logic.

Nils Kürbis

CoRR, 2021

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.

Nils Kürbis

CoRR, 2021

A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.

Nils Kürbis

CoRR, 2021

A Sketch of a Proof-Theoretic Semantics for Necessity.

Nils Kürbis

CoRR, 2021

Proof-Theory and Semantics for a Theory of Definite Descriptions.

Nils Kürbis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2016

Some Comments on Ian Rumfitt's Bilateralism.

Nils Kürbis

J. Philos. Log., 2016

2015

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.

Nils Kürbis

J. Philos. Log., 2015