Nils Kürbis

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Supposition: A Problem for Bilateralism	2024-02-29	Paper
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules	2024-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q6172977	2023-07-20	Paper
Comment on Mark Textor: Brentano's Positing Theory of Existence	2023-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q5042477	2022-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5042489	2022-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5039104	2022-10-12	Paper
Proof-theory and semantics for a theory of definite descriptions	2022-05-25	Paper
Normalisation and subformula property for a system of classical logic with Tarski's rule	2022-03-22	Paper
A binary quantifier for definite descriptions for cut free free logics	2022-03-15	Paper
Definite Descriptions in Intuitionist Positive Free Logic	2021-12-02	Paper
Normalisation for Some Quite Interesting Many-Valued Logics	2021-12-02	Paper
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics	2021-08-22	Paper
Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it	2021-08-12	Paper
Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule, and a Correction	2021-08-09	Paper
Proof-Theory and Semantics for a Theory of Definite Descriptions	2021-08-09	Paper
A Sketch of a Proof-Theoretic Semantics for Necessity	2021-07-29	Paper
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic	2020-10-15	Paper
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation	2019-10-31	Paper
Proof and Falsity	2019-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4608340	2018-03-16	Paper
Some comments on Ian Rumfitt's bilateralism	2017-10-19	Paper
Proof-theoretic semantics, a problem with negation and prospects for modality	2016-04-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nils Kürbis