Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions.
J. C. C. McKinseyPublished in: J. Symb. Log. (1939)
Keyphrases
- automated theorem proving
- natural deduction
- proof search
- sequent calculus
- theorem prover
- provably correct
- linear logic
- proof procedure
- computer algebra
- inference rules
- cut elimination
- theorem proving
- set theory
- higher level
- relational calculus
- high level
- symbol recognition
- proof theoretic
- real time
- mathematical expressions
- truth values
- conditional independence
- relational algebra
- partial order
- graphical models
- artificial intelligence
- databases
- data sets