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…