A geometrical view of I/O logic.

Dov M. Gabbay Xavier Parent Leon van der Torre

Published in: CoRR (2019)

Keyphrases

input output
classical logic
logic programming
modal logic
multi valued
computational properties
proof theory
databases
main memory
temporal logic
external memory
predicate logic
geometrical features
garbage collection