Is Logic Necessary?

Gregory L. McColm

Published in: Logica Universalis (2010)

Keyphrases

automated reasoning
multi valued
modal logic
computational properties
proof theory
classical logic
database
real world
machine learning
information retrieval
decision making
image processing
clustering algorithm
set theory
abductive reasoning
epistemic logic