Nils Kürbis | DeepAI

DeepAI AI Chat

∙ 04/17/2023

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

This article is the text of a commentary on a talk delivered by Mark Tex...

0 Nils Kürbis, et al. ∙

∙ 04/14/2022

Bilateral Inversion Principles

This paper formulates a bilateral account of harmony that is an alternat...

0 Nils Kürbis, et al. ∙

∙ 10/19/2021

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

This paper studies a formalisation of intuitionistic logic by Negri and ...

0 Nils Kürbis, et al. ∙

∙ 08/12/2021

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

Bilateralists hold that the meanings of the connectives are determined b...

0 Nils Kürbis, et al. ∙

∙ 08/09/2021

Proof-Theory and Semantics for a Theory of Definite Descriptions

This paper presents a sequent calculus and a dual domain semantics for a...

0 Nils Kürbis, et al. ∙

∙ 08/09/2021

Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule

This paper considers a formalisation of classical logic using general in...

0 Nils Kürbis, et al. ∙

∙ 08/04/2021

Definite Descriptions in Intuitionist Positive Free Logic

This paper presents rules of inference for a binary quantifier I for the...

0 Nils Kürbis, et al. ∙

∙ 08/04/2021

Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Sentences containing definite descriptions, expressions of the form `The...

0 Nils Kürbis, et al. ∙

∙ 08/04/2021

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

This paper presents a way of formalising definite descriptions with a bi...

0 Nils Kürbis, et al. ∙

∙ 07/29/2021

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

This paper discusses proof-theoretic semantics, the project of specifyin...

0 Nils Kürbis, et al. ∙

∙ 07/29/2021

A Sketch of a Proof-Theoretic Semantics for Necessity

This paper considers proof-theoretic semantics for necessity within Dumm...

0 Nils Kürbis, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world