Login / Signup
Bilaterilism does Provide a Proof Theoretic Treatment of Classical Logic (for non-technical reasons).
Nissim Francez
Published in:
FLAP (2018)
Keyphrases
</>
classical logic
intuitionistic logic
logic programming
general purpose
machine learning
relational databases
modal logic
utility function
proof theoretic