Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Annika Siders"'
Autor:
Annika Siders
Publikováno v:
Archive for Mathematical Logic. 54:921-940
A proof of normalization for a classical system of Peano Arithmetic formulated in natural deduction is given. The classical rule of the system is the rule for indirect proof restricted to atomic formulas. This rule does not, due to the restriction, i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::139c83b727c49b09183a360f5167091c
https://doi.org/10.1007/s00153-015-0450-y
https://doi.org/10.1007/s00153-015-0450-y
Autor:
Annika Siders
Publikováno v:
Archive for Mathematical Logic. 52:449-468
This paper gives a Gentzen-style proof of the consistency of Heyting arithmetic in an intuitionistic sequent calculus with explicit rules of weakening, contraction and cut. The reductions of the proof, which transform derivations of a contradiction i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4765823cfc71d6e3b5b45f4b751183a
https://doi.org/10.1007/s00153-013-0324-0
https://doi.org/10.1007/s00153-013-0324-0
Autor:
Annika Siders
The book Das Interpretationsproblem der Formalisierten Zahlentheorie und ihre Formale Widerspruchsfreiheit by Erik Stenius published in 1952 contains a consistency proof for infinite ω-arithmetic based on a semantical interpretation. Despite the pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8cd7ba712bdcc5e4643eafa96659da7
http://hdl.handle.net/10138/229275
http://hdl.handle.net/10138/229275
Autor:
Annika Siders, Jan von Plato
Publikováno v:
University of Helsinki
A normalization procedure is given for classical natural deduction with the standard rule of indirect proof applied to arbitrary formulas. For normal derivability and the subformula property, it is sufficient to permute down instances of indirect pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c2fe1795c522f553c06cb8ea778c0b9
https://researchportal.helsinki.fi/en/publications/c6b76b2d-5252-41e1-8454-4fd4f7b8119e
https://researchportal.helsinki.fi/en/publications/c6b76b2d-5252-41e1-8454-4fd4f7b8119e