Intermediate Logics and Visser's Rules.

Rosalie Iemhoff

Published in: Notre Dame J. Formal Log. (2005)

Keyphrases

expressive power
production rules
rule sets
multi context systems
expert systems
inference rules
inference engine
data sets
modal logic
conditional logic
propositional calculus