22 citations · 73 across the 9 of their papers we have counts for
9 papers
Bilateral Inversion Principles
Nils Kürbis
This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis a…
Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
Nils Kürbis
This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system i…
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics
Nils Kürbis
This paper presents rules in sequent calculus for a binary quantifier to formalise definite descriptions: means `The is '. The rules are suitable to be added…
Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it
Nils Kürbis
Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper pres…
Definite Descriptions in Intuitionist Positive Free Logic
Nils Kürbis
This paper presents rules of inference for a binary quantifier for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. …
Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
Nils Kürbis
Sentences containing definite descriptions, expressions of the form `The ', can be formalised using a binary quantifier that forms a formula out of two predicates, where $ιx…
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation
Nils Kürbis
This paper presents a way of formalising definite descriptions with a binary quantifier , where is read as `The is '. Introduction and elimination rules for $ι…
Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
Nils Kürbis
This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Mich…
A Sketch of a Proof-Theoretic Semantics for Necessity
Nils Kürbis
This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist…