Detecting the Logical Content: Burley's 'Purity of Logic'.
Wilfrid HodgesPublished in: We Will Show Them! (2) (2005)
Keyphrases
- logical framework
- logical operations
- truth values
- modal logic
- probabilistic logic
- logical representation
- set theory
- user generated content
- data sets
- dynamic logic
- predicate calculus
- web content
- logic programming
- image retrieval
- multimedia
- multi valued
- multimedia content
- asynchronous circuits
- neural network
- database
- logical rules
- logical theories