A deduction theorem schema for deductive systems of propositional logics.

Janusz Czelakowski Wieslaw Dziobiak

Published in: Stud Logica (1991)

Keyphrases

distributed systems
management system
expressive power
deductive reasoning
databases
information systems
data model
intelligent systems
complex systems
inference rules
database
computer systems
knowledge based systems
modal logic
propositional logic
intuitionistic logic