A Hybrid Intuitionistic Logic: Semantics and Decidability.

Rohit Chadha Damiano Macedonio Vladimiro Sassone

Published in: J. Log. Comput. (2006)

Keyphrases

intuitionistic logic
classical logic
proof theoretic
linear logic
proof theory
logic programming
natural deduction
normal form
description logics
query answering
formal semantics
default reasoning
logic programs
cut elimination