Beyond Rasiowa's Algebraic Approach to Non-classical Logics.
Josep Maria FontPublished in: Stud Logica (2006)
Keyphrases
- set theoretic
- higher order
- automated theorem proving
- classical logic
- database
- algebraic expressions
- computer algebra
- artificial intelligence
- algebraic structure
- image processing
- linear algebra
- theorem proving
- least squares
- object recognition
- special case
- computational complexity
- data streams
- natural language
- multiscale
- decision making
- computer vision
- databases
- data sets