Leibnitz's preference for an intensional logic (A reply to Mr. Parkinson).
Walter H. O'BriantPublished in: Notre Dame J. Formal Log. (1967)
Keyphrases
- mr images
- magnetic resonance
- medical images
- logic programming
- modal logic
- image registration
- classical logic
- sound and complete axiomatization
- asynchronous circuits
- preference elicitation
- predicate logic
- automated reasoning
- higher order
- image data
- inference rules
- multi criteria
- query evaluation
- multi valued
- computational properties
- multi agent
- brain image segmentation
- database