Soundness and completeness of the cirquent calculus system CL6 for computability logic

Details Soundness and completeness of the cirquent calculus system CL6 for computability logic Soundness and completeness of the cirquent calculus system CL6 for computability logic

2011-06-12

arxiv.org/abs/1106.2272v1

Computer Science

Logic in Computer Science

Scientific paper

Computability logic is a formal theory of computability. The earlier article "Introduction to cirquent calculus and abstract resource semantics" by Japaridze proved soundness and completeness for the basic fragment CL5 of computability logic. The present article extends that result to the more expressive cirquent calculus system CL6, which is a conservative extension of both CL5 and classical propositional logic.

Affiliated with

Also associated with

No associations

Rating

Soundness and completeness of the cirquent calculus system CL6 for computability logic 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 Soundness and completeness of the cirquent calculus system CL6 for computability logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Soundness and completeness of the cirquent calculus system CL6 for computability logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-712197