The Future of Logic: Foundation-Independence.

Published in: Logica Universalis (2016)

Keyphrases

long term
real world
information technology
logic programming
modal logic
multi valued
classical logic
databases
case study
predicate logic
predicting future
sound and complete axiomatization