Categorical Abstract Algebraic Logic Metalogical Properties.
George VoutsadakisPublished in: Stud Logica (2003)
Keyphrases
- algebraic structure
- computer algebra
- structural properties
- algebraic structures
- high level
- logic programming
- modal logic
- desirable properties
- categorical data
- website
- formal language
- classical logic
- multi valued
- databases
- neural network
- proof theory
- search engine
- computational properties
- linear algebra
- data sets
- attribute values
- higher level
- database systems