On Affine Logic and Łukasiewicz Logic.

Rob Arthan Paulo Oliva

Published in: CoRR (2014)

Keyphrases

logic programming
modal logic
multi valued
classical logic
real time
automated reasoning
artificial intelligence
probabilistic logic
asynchronous circuits
proof theory
logic synthesis
sound and complete axiomatization