Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.
George VoutsadakisPublished in: Stud Logica (2007)
Keyphrases
- classical logic
- high level
- computer algebra
- algebraic structure
- predicate logic
- probabilistic logic
- propositional dynamic logic
- asynchronous circuits
- attribute values
- defeasible logic
- multi valued
- dynamic logic
- epistemic logic
- mathematical theory
- higher level
- modal logic
- automated reasoning
- algebraic operators
- computational properties
- database
- low level
- data model
- bayesian networks
- case study
- information systems
- search engine
- artificial intelligence
- neural network
- databases