Label-free natural deduction systems for intuitionistic and classical modal logics.

Didier Galmiche Yakoub Salhi

Published in: J. Appl. Non Class. Logics (2010)

Keyphrases

natural deduction
modal logic
inference rules
theorem prover
sequent calculus
cut elimination
decision procedures
classical logic
machine learning
expert systems
state space
fuzzy logic
default logic
nonmonotonic logics
epistemic logic
linear logic