Logic and Religion.

Jean-Yves Béziau Ricardo Sousa Silvestre

Published in: Logica Universalis (2017)

Keyphrases

logic programming
multi valued
computational properties
classical logic
data sets
data mining technology
deontic logic
epistemic logic
proof theory
computer vision
image sequences
modal logic
predicate logic
dynamic logic