Switch to: References

Citations of:

An Argument for Minimal Logic

Dialectica 73 (1-2):31-63 (2019)

Add citations

You must login to add citations.
  1. Generality.Nils Kürbis - 2022 - In Nils Kürbis, Bahram Assadian & Jonathan Nassim (eds.), Knowledge, Number and Reality: Encounters with the Work of Keith Hossack. London: Bloomsbury. pp. 161-176.
    Hossack's 'The Metaphysics of Knowledge' develops a theory of facts, entities in which universals are combined with universals or particulars, as the foundation of his metaphysics. While Hossack argues at length that there must be negative facts, facts in which the universal 'negation' is combined with universals or particulars, his conclusion that there are also general facts, facts in which the universal 'generality' is combined with universals, is reached rather more swiftly. In this paper I present Hossack with three arguments (...)
    Export citation  
  • Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    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 is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...)
    Export citation  
    Bookmark   2 citations