Dual realizability in symmetric logic

I. D. Zaslavsky

doi:10.1016/S0168-0072(01)00068-9

Dual realizability in symmetric logic

I. D. Zaslavsky

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known kinds and those of reverse transformations are given. The formal arithmetical system based on such a realizability is investigated.

Original language	English
Pages (from-to)	389-397
Number of pages	9
Journal	Annals of Pure and Applied Logic
Volume	113
Issue number	1-3
DOIs	https://doi.org/10.1016/S0168-0072(01)00068-9
State	Published - 27 Dec 2001
Externally published	Yes

Keywords

Calculus
Predicate
Quantifier
Realizability

ASJC Scopus subject areas

Logic

Access to Document

10.1016/S0168-0072(01)00068-9

Cite this

@article{f809752ede9e4f32a24e57d4557c23ed,

title = "Dual realizability in symmetric logic",

abstract = "A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known kinds and those of reverse transformations are given. The formal arithmetical system based on such a realizability is investigated.",

keywords = "Calculus, Predicate, Quantifier, Realizability",

author = "Zaslavsky, {I. D.}",

year = "2001",

month = dec,

day = "27",

doi = "10.1016/S0168-0072(01)00068-9",

language = "English",

volume = "113",

pages = "389--397",

journal = "Annals of Pure and Applied Logic ",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "1-3",

}

TY - JOUR

T1 - Dual realizability in symmetric logic

AU - Zaslavsky, I. D.

PY - 2001/12/27

Y1 - 2001/12/27

N2 - A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known kinds and those of reverse transformations are given. The formal arithmetical system based on such a realizability is investigated.

AB - A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known kinds and those of reverse transformations are given. The formal arithmetical system based on such a realizability is investigated.

KW - Calculus

KW - Predicate

KW - Quantifier

KW - Realizability

UR - http://www.scopus.com/inward/record.url?scp=0035960966&partnerID=8YFLogxK

U2 - 10.1016/S0168-0072(01)00068-9

DO - 10.1016/S0168-0072(01)00068-9

M3 - Article

AN - SCOPUS:0035960966

SN - 0168-0072

VL - 113

SP - 389

EP - 397

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 1-3

ER -

Dual realizability in symmetric logic

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this