Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach.

Federico Aschieri Agata Ciabattoni Francesco A. Genco

Published in: CoRR (2018)

Keyphrases

knowledge base
first order logic
mutual exclusion
answer sets
sequent calculi
databases
genetic algorithm
database systems
knowledge representation
spatial relations
concurrent execution
disjunctive deductive databases
axiomatic characterization