Monoidal Logics: How to Avoid Paradoxes.

Clayton Peterson

Published in: AIC (2014)

Keyphrases

inference rules
expressive power
modal logic
classical logic
real world
computer vision
higher order
information retrieval
optimal solution
default logic
proof theory