Proof-functional connectives and realizability.

Franco Barbanera Simone Martini

Published in: Arch. Math. Log. (1994)

Keyphrases

theorem prover
sequent calculus
relational databases
special case
inference rules
theorem proving
automated theorem proving
real time
multiscale
search algorithm
functional analysis
proof planning
functional language