Login / Signup

Logics with disjunction and proof by cases.

San-Min WangPetr Cintula
Published in: Arch. Math. Log. (2008)
Keyphrases
  • proof theory
  • expressive power
  • neural network
  • inference rules
  • decision procedures
  • theorem prover
  • theorem proving
  • real time
  • search algorithm
  • expert systems
  • higher order
  • modal logic
  • higher order logic
  • proof theoretic