Propositional computability logic I

  title={Propositional computability logic I},
  author={Giorgi Japaridze},
  journal={ACM Trans. Comput. Log.},
In the same sense as classical logic is a formal theory of truth, the recently initiated approach called computability logic is a formal theory of computability. It understands (interactive) computational problems as games played by a machine against the environment, their computability as existence of a machine that always wins the game, logical operators as operations on computational problems, and validity of a logical formula as being a scheme of “always computabl ” problems. Computability… CONTINUE READING
23 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

Elements of interaction, Communications of the ACM

  • R. Milner
  • 1993
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…