Browse by UCL people
Group by: Type | Date
Number of items: 38.
Article
Kuerbis, Nils;
(2024)
Bilateralism, collapsing modalities, and the logic of assertion and denial.
Theoria
, 90
(2)
pp. 177-190.
10.1111/theo.12516.
|
Kuerbis, Nils;
(2023)
Arthur Prior's Proofs of the Necessities of Identity and Difference.
History and Philosophy of Logic
10.1080/01445340.2023.2237758.
(In press).
|
Kürbis, N;
(2022)
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.
Studia Logica
, 110
pp. 219-239.
10.1007/s11225-021-09958-x.
|
Kurbis, N;
(2022)
Normalisation and subformula property for a system of classical logic with Tarski's rule.
Archive for Mathematical Logic
, 61
(1-2)
105 -129.
10.1007/s00153-021-00775-6.
|
Kurbis, N;
(2021)
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.
Synthese
10.1007/s11229-021-03418-8.
(In press).
|
Kürbis, N;
(2021)
Definite Descriptions in Intuitionist Positive Free Logic.
Logic and Logical Philosophy
, 30
pp. 327-358.
10.12775/llp.2020.024.
|
Kürbis, Nils;
(2024)
Normalisation for negative free logics without and with definite descriptions.
The Review of Symbolic Logic
pp. 1-33.
10.1017/S1755020324000157.
(In press).
|
Kürbis, Nils;
(2023)
Supposition: A Problem for Bilateralism.
Bulletin of the Section of Logic
, Article 27. 10.18778/0138-0680.2023.07.
|
Kürbis, Nils;
(2023)
On a Definition of Logical Consequence.
Thought: A Journal of Philosophy
10.5840/tht20233612.
(In press).
|
Kürbis, Nils;
(2021)
Normalisation and Subformula Property for
a System of Intuitionistic Logic with General Introduction and Elimination Rules.
CoRR
, abs
, Article 2108.05842. 10.48550/arXiv.2110.09921.
|
Kurbis, N;
(2021)
Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.
Journal of Applied Logics
, 8
(7)
pp. 2259-2261.
|
Kurbis, N;
(2021)
Normalisation for Classical Bilateral Logic with some Philosophical Remarks.
Journal of Applied Logics - IfCoLog Journal
, 8
(2)
pp. 531-556.
|
Kürbis, N;
(2019)
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.
Bulletin of the Section of Logic
, 48
(4)
pp. 299-317.
10.18778/0138-0680.48.4.04.
|
Kurbis, N;
(2019)
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.
Bulletin of the Section of Logic
, 48
(2)
pp. 81-97.
10.18778/0138-0680.48.2.01.
|
Kürbis, N;
(2019)
An Argument for Minimal Logic.
Dialectica
, 73
(1-2)
pp. 31-63.
10.1111/1746-8361.12267.
|
Kurbis, N;
(2018)
Is Incompatibilism Compatible with Fregeanism?
European Journal of Analytic Philosophy
, 14
(2)
pp. 27-46.
10.31820/ejap.14.2.3.
|
Kürbis, N;
(2018)
Molnar on Truthmakers for Negative Truths.
Metaphysica
, 19
(2)
pp. 225-250.
10.1515/mp-2018-0014.
|
Kürbis, N;
(2017)
Bilateralist Detours: From Intuitionist to Classical Logic and Back.
Logique & Analyse
, 60
(239)
pp. 301-316.
10.2143/LEA.239.0.32371556.
|
Kurbis, N;
(2017)
Necessary Beings: an Essay on Ontology, Modality, and the Relations Between Them.
Disputatio
, 7
(40)
10.2478/disp-2015-0006.
|
Kürbis, N;
(2016)
Some Comments on Ian Rumfitt’s Bilateralism.
Journal of Philosophical Logic
, 45
(6)
pp. 623-644.
10.1007/s10992-016-9395-9.
|
Kurbis, N;
(2015)
What is Wrong with Classical Negation?
Grazer Philosophische Studien
, 92
(1)
pp. 51-85.
10.1163/9789004310841_004.
|
Kürbis, N;
(2015)
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.
Journal of Philosophical Logic
, 44
(6)
pp. 713-727.
10.1007/s10992-013-9310-6.
|
Kürbis, N;
(2012)
How fundamental is the fundamental assumption?
Teorema:International Journal of Philosophy
, 31
(2)
pp. 5-19.
|
Kürbis, N;
Petrukhin, Y;
(2021)
Normalisation for Some Quite Interesting Many-Valued Logics.
Logic and Logical Philosophy
, 30
(3)
pp. 493-534.
10.12775/llp.2021.009.
|
Book chapter
Kurbis, N;
(2022)
Generality.
In: Kürbis, N and Nassim, J and Assadian, B, (eds.)
Knowledge, Number and Reality.
Bloomsbury Academic: London, UK.
|
Kurbis, N;
(2022)
Introduction.
In: Kürbis, N and Nassim, J and Assadian, B, (eds.)
Knowledge, Number and Reality Encounters with the Work of Keith Hossack.
Bloomsbury Academic: London, UK.
|
Kürbis, N;
(2021)
Proof-Theory and Semantics for a Theory of Definite Descriptions.
In: Das, A and Negri, S, (eds.)
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods.
(pp. 95-111).
Springer: Cham, Switzerland.
|
Kürbis, N;
Assadian, B;
Nassim, J;
(2021)
Introduction.
In:
Knowledge, Number and Reality: Encounters with the Work of Keith Hossack.
(pp. 1-29).
Bloomsbury Publishing
|
Kürbis, Nils;
(2025)
Definite Descriptions.
In:
Reference Module in Social Sciences.
Elsevier
|
|
Kürbis, Nils;
(2024)
The Correspondence Theory of Truth.
In:
Reference Module in Social Sciences.
Elsevier: Amsterdam, Netherlands.
|
Kurbis, N;
(2017)
Intuitionist Bilateralism: Negations, Implications and some Observations and Problems about Hypotheses.
In: Fichot, J and Piecha, T, (eds.)
Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017.
Universität Tübingen: Tübingen.
|
|
Weiss, B;
Kürbis, N;
(2024)
Molecularity in the Theory of Meaning and the Topic Neutrality of Logic.
In: Piccolomini d'Aragona, Antonio, (ed.)
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction.
(pp. 187-209).
Springer Nature
|
Proceedings paper
Indrzejczak, Andrzej;
Kurbis, Nils;
(2023)
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions.
In: Ramanayake, Revantha and Urban, Josef, (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods.
(pp. pp. 112-130).
Springer, Cham: Cham, Switzerland.
|
Kürbis, Nils;
(2022)
Bilateral Inversion Principles.
In:
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022).
(pp. pp. 202-215).
Electronic Proceedings in Theoretical Computer Science: Łódź, Poland.
|
Kürbis, Nils;
(2022)
Bilateral Inversion Principles.
In: Indrzejczak, Andrzej and Zawidzki, Michal, (eds.)
Proceedings of the 10th International Conference on Non-Classical Logics.
(pp. pp. 202-215).
NCL: Łódź, Poland.
|
Kürbis, N;
(2020)
A Sketch of a Proof-Theoretic Semantics for Necessity.
In: Negri, S and Olivetti, N and Verbrugge, R, (eds.)
Short Papers: Advances in Modal Logic, AiML 2020.
(pp. pp. 37-43).
Helsinki University: Helsinki, Finland.
|
Kurbis, N;
(2017)
Bilateralist Detours: From Intuitionist to Classical Logic and Back.
In:
Logique et Analyse.
(pp. pp. 301-316).
Peeters Online Journals
|
Working / discussion paper
Kürbis, Nils;
(2023)
Comment on Mark Textor: Brentano's Positing Theory of Existence.
arXiv
|