A decidable sequent calculus theorem prover using controlled contraction

Status

Rate

Check Later

Authors

Padric Daugherty

Padric Daugherty

Subjects

Predicate Calculus Automatic Theorem Proving Proof Theory Decidability (Mathematical Logic)

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games