A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP.

Gianluigi Bellin Kurt Ranalter

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

Keyphrases

intuitionistic logic
classical logic
formal semantics
linear logic
modal logic
proof theoretic
inductive logic programming
natural deduction
proof theory
inference rules
desirable properties
logic programming
default reasoning
normal form
model theoretic
nonmonotonic reasoning
speech acts
sequent calculus