Riesz Logic.

Published in: CoRR (2014)

Keyphrases

multi valued
asynchronous circuits
logic programming
modal logic
classical logic
sound and complete axiomatization
signal analysis
predicate logic
vector valued
case study
information systems
logical framework
set theory
probabilistic logic
expressive power
formal theory
proof theory
image processing