Coordinate-Free Logic.

Published in: Rev. Symb. Log. (2016)

Keyphrases

modal logic
logic programming
classical logic
multi valued
information retrieval
artificial intelligence
reinforcement learning
evolutionary algorithm
computational properties
digital circuits
predicate logic
abductive reasoning
sound and complete axiomatization