Open AccessNormalization as a consequence of cut elimination
Author(s) -
Mirjana Borisavljević
Publication year - 2009
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/pim0900027b
Subject(s) - normalization (sociology) , mathematics , property (philosophy) , mathematical economics , calculus (dental) , discrete mathematics , computer science , philosophy , epistemology , medicine , dentistry , sociology , anthropology
Pairs of systems, which consist of a system of sequents and a natural deduction system for some part of intuitionistic logic, are considered. For each of these pairs of systems the property that the normalization theorem is a consequence of the cut-elimination theorem is presented.
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