The Semi Heyting-Brouwer Logic.

Juan Manuel Cornejo

Published in: Stud Logica (2015)

Keyphrases

set theory
modal logic
rough sets
image processing
multi valued
partial order
fuzzy set theory
abductive reasoning
formal theory
predicate logic
computational properties
automated reasoning
rough set theory
first order logic
logical framework
classical logic
fuzzy logic
databases
real time
database