Karel Lambert, Free Logic: Selected Essays.

M. Randall Holmes

Published in: Stud Logica (2003)

Keyphrases

logic programming
modal logic
logical framework
multi valued
machine learning
artificial intelligence
randomly selected
automated reasoning
classical logic
digital circuits
sound and complete axiomatization
clustering algorithm
linear logic