Another Intuitionistic Completeness Proof.

Harrie C. M. de Swart

Published in: J. Symb. Log. (1976)

Keyphrases

linear logic
theorem prover
natural deduction
proof search
theorem proving
cut elimination
sequent calculus
fixed point
fuzzy set theory
databases
data quality
logical framework
automated theorem proving
mathematical proofs
fuzzy information
inference rules
real valued
fuzzy numbers
logic programming
multi agent