A Topos-Theoretic Approach to Counterfactual Logic.

Ricardo Queiroz de Araujo Fernandes Edward Hermann Haeusler

Published in: LSFA (2009)

Keyphrases

theorem proving
automated reasoning
logical framework
inference rules
natural deduction
classical logic
epistemic logic
logic programming
image sequences
abductive reasoning
intuitionistic logic
information systems
similarity measure
multi valued
predicate logic
asynchronous circuits