Affiliation:
1. Department of Computer Eng., DongA University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference7 articles.
1. [1] J.-M. Andreoli, “Logic programming with focusing proofs in linear logic,” Journal of Logic and Computation, vol.2, no.3, pp.297-347, 1992. 10.1093/logcom/2.3.297
2. [2] G. Gentzen, “Investigations into Logical Deduction,” The Collected Papers of Gerhard Gentzen, pp.68-131, 1969.
3. [3] G. Japaridze, “Introduction to computability logic,” Annals of Pure and Applied Logic, vol.123, no.1-3, pp.1-99, 2003. 10.1016/s0168-0072(03)00023-x
4. [4] G. Japaridze, “From truth to computability I,” Theoretical Computer Science, vol.357, no.1-3, pp.100-135, 2006. 10.1016/j.tcs.2006.03.014
5. [5] G. Japaridze, “Computability logic: A formal theory of interaction,” ed. D. Goldin, S. Smolka, and P. Wegner, Interactive Computation: The New Paradigm, pp.183-223, Springer, 2006.