On Uniformly Constructive and Semiconstructive Formal Systems


We propose a formalization of two notions of uniformly constructive formal system, we call uniform e-constructivity and uniform r-constructivity. On an intuitive ground, the first (extended) notion concerns formal systems characterized by calculi with the following properties: any proof of a formula such as A ∨ B (of a formula such as ∃xA(x)) contains… (More)
DOI: 10.1093/jigpal/11.1.1

3 Figures and Tables


  • Presentations referencing similar topics