Back to Search Start Over

The logic of interactive turing reduction

Authors :
Japaridze, Giorgi
Source :
Journal of Symbolic Logic. March, 2007, Vol. 72 Issue 1, p243, 34 p.
Publication Year :
2007

Abstract

A completeness proof for the implicative fragment of intuitionistic calculus with respect to semantics of computability logic, which understands intuitionist implication as interactive algorithmic reduction, is provided.

Subjects

Subjects :
Calculus -- Analysis
Computational complexity -- Analysis
Algorithms -- Analysis
Algorithm
Mathematics

Details

Language :
English
ISSN :
00224812
Volume :
72
Issue :
1
Database :
Gale General OneFile
Journal :
Journal of Symbolic Logic
Publication Type :
Academic Journal
Accession number :
edsgcl.164102158

Tools

Authors Abstract Subjects Details