PUC-Logic.

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler Luiz Carlos Pereira

Published in: CoRR (2014)

Keyphrases

logic programming
classical logic
modal logic
multi valued
proof theory
defeasible logic
sound and complete axiomatization
predicate logic
probabilistic logic
automated reasoning
set theory
multiscale
abductive reasoning
deontic logic
natural deduction
case study
computer vision