8.6k citations
- Goddard Space Flight CenterUS158 papers
- California Institute of TechnologyUS156 papers
- Massachusetts Institute of TechnologyUS155 papers
- Centre National de la Recherche ScientifiqueFR144 papers
- University of WashingtonUS141 papers
- Center for Astrophysics Harvard & SmithsonianUS129 papers
- University of ChicagoUS127 papers
- Sorbonne UniversitéFR125 papers
- University of AmsterdamNL123 papers
- Radboud University NijmegenNL115 papers
- Korea Astronomy and Space Science InstituteKR114 papers
- University of CambridgeGB114 papers
Showing 2005 · cs.LOShow all
2 papers · 2 filters
cs.LO2005★ 17 cited
The logic of interactive Turing reduction
Giorgi Japaridze
The paper gives a soundness and completeness proof for the implicative fragment of intuitionistic calculus with respect to the semantics of computability logic, which understands i…
cs.LO2005★ 14 cited
In the beginning was game semantics
Giorgi Japaridze
This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview…