A decidable sequent calculus theorem prover using controlled contraction View on Open Library

A decidable sequent calculus theorem prover using controlled contraction

by Padric Daugherty

No reviews yet
First published: 1988 1 language
Subjects
Predicate calculus Decidability (Mathematical logic) Proof theory Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Predicate calculus
Beginning logic

Beginning logic

E. J. Lemmon
Two papers on the predicate calculus

Two papers on the predicate calculus

Stephen Cole Kleene
Technical Methods In Philosophy

Technical Methods In Philosophy

John Pollock
Büchi's monadic second order successor arithmetic

Büchi's monadic second order successor ...

Dirk Siefkes
Elements of Deductive Inference

Elements of Deductive Inference

Joseph Bessie
Subsystems of second-order arithmetic

Subsystems of second-order arithmetic

Stephen G. Simpson