Łukasiewicz logic and Riesz spaces.

Antonio Di Nola Ioana Leustean

Published in: Soft Comput. (2014)

Keyphrases

logic programming
multi valued
asynchronous circuits
proof theory
classical logic
delay insensitive
vector valued
automated reasoning
modal logic
multiresolution
feature extraction
probability theory
knowledge representation
defeasible logic
epistemic logic
deontic logic
case study
neural network