A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic.

Rob Arthan Paulo Oliva

Published in: CoRR (2018)

Keyphrases

modal logic
classical logic
automata theoretic
predicate logic
logic programming
data sets
temporal logic
image matching
multi valued
dynamic logic
artificial intelligence
search engine
xml documents
automated reasoning