Login / Signup
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.
Mauro Ferrari
Camillo Fiorentini
Guido Fiorino
Published in:
J. Appl. Non Class. Logics (2009)
Keyphrases
</>
intuitionistic logic
minimal models
classical logic
tableau calculus
propositional logic
linear logic
autoepistemic logic
natural deduction
default logic
first order logic
machine learning
proof theoretic
expert systems
description logics
knowledge compilation