An Axiomatisation of a Pure Calculus of Names.

Published in: Stud Logica (2012)

Keyphrases

modal logic
automated deduction
named entities
case study
keywords
functional dependencies
inference rules
computer algebra
person names
algebraic structure
database
machine learning
expert systems
knowledge representation
provably correct
sequent calculus