Negative Translations for Affine and Lukasiewicz Logic.
Rob ArthanPaulo OlivaPublished in: CoRR (2019)
Keyphrases
- modal logic
- truth values
- positive and negative
- temporal logic
- classical logic
- machine translation
- affine transformation
- affine invariant
- image warping
- multiscale
- multi valued
- inference rules
- epistemic logic
- situation calculus
- automated reasoning
- image registration
- machine learning
- computational properties
- nonmonotonic logics
- neural network
- databases
- formal theory
- data sets