22 citations · 73 across the 9 of their papers we have counts for
7 papers · 1 filter
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 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…