Login / Signup

Quantifiers in logic and proof-search using permissive-nominal terms and sets.

Murdoch James GabbayClaus-Peter Wirth
Published in: J. Log. Comput. (2015)
Keyphrases
  • proof search
  • theorem proving
  • linear logic
  • inference rules
  • first order logic
  • theorem prover
  • proof procedure
  • neural network
  • cut elimination
  • markov random field
  • modal logic
  • intuitionistic logic