Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based pi-Institutions.

George Voutsadakis

Published 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