Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,276,762 papers from all fields of science
Search
Sign In
Create Free Account
Computability logic
Computability logic (CoL) is a research program and mathematical framework for redeveloping logic as a systematic formal theory of computability, as…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Algorithm
Church–Turing thesis
Cirquent calculus
Computability
Expand
Broader (2)
Computability theory
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A cirquent calculus system with clustering and ranking
Wenyan Xu
Journal of Applied Logic
2014
Corpus ID: 6228852
2012
2012
A PSPACE-complete first-order fragment of computability logic
Matthew S. Bauer
ACM Transactions on Computational Logic
2012
Corpus ID: 11401939
In a recently launched research program for developing logic as a formal theory of (interactive) computability, several very…
Expand
2010
2010
Introduction to clarithmetic II
G. Japaridze
Information and Computation
2010
Corpus ID: 6475936
2010
2010
Introduction to clarithmetic III
G. Japaridze
Annals of Pure and Applied Logic
2010
Corpus ID: 18716124
2009
2009
From formulas to cirquents in computability logic
G. Japaridze
Log. Methods Comput. Sci.
2009
Corpus ID: 15365384
Computability logic (CoL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently introduced semantical platform and…
Expand
2008
2008
Towards applied theories based on computability logic
G. Japaridze
Journal of Symbolic Logic (JSL)
2008
Corpus ID: 444660
Abstract Computability logic (CL) is a recently launched program for redeveloping logic as a formal theory of computability, as…
Expand
Review
2004
Review
2004
Computability Logic: a formal theory of interaction
G. Japaridze
arXiv.org
2004
Corpus ID: 2710960
Generalizing the traditional concepts of predicates and their truth to interactive computational problems and their effective…
Expand
2004
2004
Intuitionistic computability logic
G. Japaridze
Acta Cybernetica
2004
Corpus ID: 15383153
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a…
Expand
2004
2004
From truth to computability I
G. Japaridze
Theoretical Computer Science
2004
Corpus ID: 60193
2004
2004
Propositional computability logic II
G. Japaridze
TOCL
2004
Corpus ID: 9154894
Computability logic is a formal theory of computational tasks and resources. Its formulas represent interactive computational…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE