Willem Blok's Work in Algebraic Logic.

James G. Raftery

Published in: Stud Logica (2004)

Keyphrases

algebraic structure
computer algebra
modal logic
classical logic
information retrieval
logic programming
sound and complete axiomatization
data sets
artificial intelligence
information systems
higher order
automated reasoning
multi valued
set theory
epistemic logic