Counting proofs in propositional logic

Details Counting proofs in propositional logic Counting proofs in propositional logic

2009-05-18

arxiv.org/abs/0905.2880v1

Archive for Mathematical Logic 48 (2009) P 185-199

Mathematics

Logic

Scientific paper

10.1007/s00153-009-0119-5

We give a procedure for counting the number of different proofs of a formula
in various sorts of propositional logic. This number is either an integer (that
may be 0 if the formula is not provable) or infinite.

Affiliated with

Also associated with

No associations

Rating

Counting proofs in propositional 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 Counting proofs in propositional logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Counting proofs in propositional logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-609618