|
Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2003, Volume 242, Pages 136–140
(Mi tm411)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
Note on a Translation to Characterize Constructivity
M. Baaz Vienna University of Technology
Abstract:
This note describes a straightforward translation $\mathcal C^{(1)}$ such that
$T\vdash A(t)$ for some term $t$ $\Leftrightarrow$ $\mathcal C^{(1)}(T)\vdash
\mathcal C^{(1)}(\exists xA(x))$ for universal $T$ and purely existential $\exists
xA(x)$. The correspondence is based on the properties of resolution
calculus.
Received in October 2002
Citation:
M. Baaz, “Note on a Translation to Characterize Constructivity”, Mathematical logic and algebra, Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov, Trudy Mat. Inst. Steklova, 242, Nauka, MAIK «Nauka/Inteperiodika», M., 2003, 136–140; Proc. Steklov Inst. Math., 242 (2003), 125–129
Linking options:
https://www.mathnet.ru/eng/tm411 https://www.mathnet.ru/eng/tm/v242/p136
|
Statistics & downloads: |
Abstract page: | 175 | Full-text PDF : | 84 | References: | 41 |
|