Login / Signup
A Cointuitionistic Adjoint Logic.
Harley Eades III
Gianluigi Bellin
Published in:
CoRR (2017)
Keyphrases
</>
optimal control
logic programming
logical framework
modal logic
predicate logic
deontic logic
asynchronous circuits
sound and complete axiomatization
expert systems
evolutionary algorithm
multi valued
classical logic
nonmonotonic logics