Dual realizability in symmetric logic

✍ Scribed by I.D. Zaslavsky

• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 70 KB
• Volume: 113
• Category: Article
• ISSN: 0168-0072
• DOI: 10.1016/s0168-0072(01)00068-9

✦ Synopsis

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.