Open AccessThe normalization theorem for extended natural deduction
Author(s) -
Mirjana Borisavljević
Publication year - 2017
Publication title -
publications de l institut mathematique
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.246
H-Index - 17
eISSN - 1820-7405
pISSN - 0350-1302
DOI - 10.2298/pim1715075b
Subject(s) - normalization (sociology) , natural deduction , mathematics , calculus (dental) , standard system , mathematical economics , discrete mathematics , engineering , medicine , dentistry , sociology , construction engineering , anthropology
The normalization theorem for the system of extended natural deduction will be proved as a consequence of the cut-elimination theorem, by using the connections between the system of extended natural deduction and a standard system of sequents.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom