The polytopologies of transfinite provability logic.

David Fernández-Duque

Published in: Arch. Math. Log. (2014)

Keyphrases

modal logic
classical logic
multi valued
artificial intelligence
automated reasoning
digital circuits
proof theory
databases
machine learning
information systems
natural language
logical framework
computational properties
intuitionistic logic