Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions.
George VoutsadakisPublished in: Log. J. IGPL (2008)
Keyphrases
- intuitionistic logic
- rule engine
- computer algebra
- data driven
- logic programming
- expert systems
- classical logic
- mathematical theory
- algebraic structure
- rule based systems
- modal logic
- defeasible logic
- multi valued
- categorical data
- rule base
- deontic logic
- propositional dynamic logic
- data sets
- set theory
- higher level
- von neumann
- logical framework
- automated reasoning
- asynchronous circuits
- linear logic
- attribute values
- proof theory
- valued logic
- digital topology
- fuzzy logic
- high level
- knowledge base