Logic and the Condemnations of 1277.

Sara L. Uckelman

Published in: J. Philos. Log. (2010)

Keyphrases

classical logic
logic programming
modal logic
multi valued
predicate logic
proof theory
real time
genetic algorithm
artificial intelligence
automated reasoning
logical framework
computational properties
database
defeasible logic