Mechanizing Relevant Logics with HOL.

Hajime Sawamura Daisaku Asanuma

Published in: TPHOLs (1998)

Keyphrases

higher order logic
closely related
modal logic
higher order
expressive power
database
databases
artificial intelligence
social networks
information systems
case study
data structure
inference rules
theorem prover