Erratum to: An Impure Logic of Representational Grounding.

Fabrice Correia

Published in: J. Philos. Log. (2017)

Keyphrases

logic programming
classical logic
set theory
abductive reasoning
information systems
similarity measure
logical framework
predicate logic
data sets
website
evolutionary algorithm
computational properties
asynchronous circuits
sound and complete axiomatization