Login / Signup
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic.
Leo Esakia
Published in:
J. Appl. Non Class. Logics (2006)
Keyphrases
</>
intuitionistic logic
proof theoretic
natural deduction
linear logic
classical logic
modal logic
cut elimination
sequent calculus
tableau calculus
nonmonotonic reasoning
inference rules
data model
query language
normal form