Paraconsistency in hybrid logic.

Diana Costa Manuel A. Martins

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

Keyphrases

classical logic
information systems
data structure
logic programming
modal logic
hybrid approaches
computer vision
logical framework
databases
image sequences
multiscale
multi valued
defeasible logic
deductive reasoning