Intermediate logics with the same disjunctionless fragment as intuitionistic logic.

Pierluigi Minari

Published in: Stud Logica (1986)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
logic programming
modal logic
normal form
model checker
proof theory
artificial intelligence
logic programs
model checking
nonmonotonic reasoning
logical framework