We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

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

Authors: Nils Kürbis
Abstract: 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 in normal form have the subformula property.
Comments: arXiv admin note: substantial text overlap with arXiv:2108.03939
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
Journal reference: Synthese 2021
DOI: 10.1007/s11229-021-03418-8
Cite as: arXiv:2110.09921 [math.LO]
  (or arXiv:2110.09921v1 [math.LO] for this version)

Submission history

From: Nils Kurbis [view email]
[v1] Tue, 19 Oct 2021 12:37:51 GMT (23kb)

Link back to: arXiv, form interface, contact.