The logic of categorematic and syncategorematic infinity.

Sara L. Uckelman

Published in: Synth. (2015)

Keyphrases

logic programming
classical logic
automated reasoning
predicate logic
database
data sets
natural language
multi agent systems
set theory
proof theory