Propositional Computability Logic II

Details Propositional Computability Logic II Propositional Computability Logic II

2004-06-18

arxiv.org/abs/cs/0406037v2

ACM Transactions on Computational Logic 7 (2006), pp. 331-362

Computer Science

Logic in Computer Science

25 pages

Scientific paper

10.1145/1131313.1131319

Computability logic is a formal theory of computational tasks and resources. Its formulas represent interactive computational problems, logical operators stand for operations on computational problems, and validity of a formula is understood as being a scheme of problems that always have algorithmic solutions. A comprehensive online source on the subject is available at http://www.cis.upenn.edu/~giorgi/cl.html . The earlier article "Propositional computability logic I" proved soundness and completeness for the (in a sense) minimal nontrivial fragment CL1 of computability logic. The present paper extends that result to the significantly more expressive propositional system CL2. What makes CL2 more expressive than CL1 is the presence of two sorts of atoms in its language: elementary atoms, representing elementary computational problems (i.e. predicates), and general atoms, representing arbitrary computational problems. CL2 conservatively extends CL1, with the latter being nothing but the general-atom-free fragment of the former.

Affiliated with

Also associated with

No associations

Rating

Propositional Computability Logic II does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Propositional Computability Logic II, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Propositional Computability Logic II will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-203580