Consuming and Persistent Types for Classical Logic.

Delia Kesner Pierre Vial

Published in: LICS (2020)

Keyphrases

classical logic
logic programming
modal logic
possibilistic logic
intuitionistic logic
databases
database
default logic
valued logic
computer science and artificial intelligence
autoepistemic logic
neural network
temporal logic
possibility theory