On Kinds of Indiscernibility in Logic and Metaphysics
Adam CaultonJeremy ButterfieldPublished in: CoRR (2011)
Keyphrases
- rough sets
- classical logic
- logic programming
- real time
- automated reasoning
- data sets
- multi valued
- pattern recognition
- modal logic
- probability theory
- neural network
- computational properties
- abductive reasoning
- database systems
- information systems
- genetic algorithm
- equivalence relation
- epistemic logic
- asynchronous circuits
- proof theory
- delay insensitive
- sound and complete axiomatization