Normal Derivations and Sequent Derivations.

Mirjana Borisavljevic

Published in: J. Philos. Log. (2008)

Keyphrases

inference rules
first order logic
neural network
information systems
metadata
image segmentation
database systems
special case
management system
modal logic
theorem prover
logical framework