New Proofs of Some Intuitionistic Principles.

Joachim Lambek Philip J. Scott

Published in: Math. Log. Q. (1983)

Keyphrases

theorem prover
natural deduction
cut elimination
theorem proving
first order logic
linear logic
equational theories
mathematical knowledge
fuzzy information
mathematical proofs
real world
wide class
fuzzy numbers
pattern recognition
sequent calculus
formal proof
decision making