UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

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. Green open access
file

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). Green open access
file

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. Green open access
file

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. Green open access
file

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). Green open access
file

Kürbis, N; (2021) Definite Descriptions in Intuitionist Positive Free Logic. Logic and Logical Philosophy , 30 pp. 327-358. 10.12775/llp.2020.024. Green open access
file

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). Green open access
file

Kürbis, Nils; (2023) Supposition: A Problem for Bilateralism. Bulletin of the Section of Logic , Article 27. 10.18778/0138-0680.2023.07. Green open access
file

Kürbis, Nils; (2023) On a Definition of Logical Consequence. Thought: A Journal of Philosophy 10.5840/tht20233612. (In press). Green open access
file

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. Green open access
file

Kurbis, N; (2021) Addenda: Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'. Journal of Applied Logics , 8 (7) pp. 2259-2261. Green open access
file

Kurbis, N; (2021) Normalisation for Classical Bilateral Logic with some Philosophical Remarks. Journal of Applied Logics - IfCoLog Journal , 8 (2) pp. 531-556. Green open access
file

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. Green open access
file

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. Green open access
file

Kürbis, N; (2019) An Argument for Minimal Logic. Dialectica , 73 (1-2) pp. 31-63. 10.1111/1746-8361.12267. Green open access
file

Kurbis, N; (2018) Is Incompatibilism Compatible with Fregeanism? European Journal of Analytic Philosophy , 14 (2) pp. 27-46. 10.31820/ejap.14.2.3. Green open access
file

Kürbis, N; (2018) Molnar on Truthmakers for Negative Truths. Metaphysica , 19 (2) pp. 225-250. 10.1515/mp-2018-0014. Green open access
file

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. Green open access
file

Kurbis, N; (2017) Necessary Beings: an Essay on Ontology, Modality, and the Relations Between Them. Disputatio , 7 (40) 10.2478/disp-2015-0006. Green open access
file

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. Green open access
file

Kurbis, N; (2015) What is Wrong with Classical Negation? Grazer Philosophische Studien , 92 (1) pp. 51-85. 10.1163/9789004310841_004. Green open access
file

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. Green open access
file

Kürbis, N; (2012) How fundamental is the fundamental assumption? Teorema:International Journal of Philosophy , 31 (2) pp. 5-19. Green open access
file

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. Green open access
file

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. Green open access
file

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. Green open access
file

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. Green open access
file

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 Green open access
file

Kürbis, Nils; (2025) Definite Descriptions. In: Reference Module in Social Sciences. Elsevier Green open access
file

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. Green open access
file

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. Green open access
file

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. Green open access
file

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. Green open access
file

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. Green open access
file

Kurbis, N; (2017) Bilateralist Detours: From Intuitionist to Classical Logic and Back. In: Logique et Analyse. (pp. pp. 301-316). Peeters Online Journals Green open access
file

Working / discussion paper

Kürbis, Nils; (2023) Comment on Mark Textor: Brentano's Positing Theory of Existence. arXiv Green open access
file

This list was generated on Tue Jan 27 05:27:23 2026 GMT.