A decidable sequent calculus theorem prover using controlled contraction

An edition of A decidable sequent calculus theorem prover using controlled contraction (1988)

decidable sequent calculus theorem prover using controlled contraction

By Padric Daugherty

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1988

Publisher

Language

eng

Pages

136

Description:

subjects: Predicate calculus, Decidability (Mathematical logic), Proof theory, Automatic theorem proving