Some Results on Amalgamation in Algebraic Logic.

Tarek Sayed Ahmed

Published in: Log. J. IGPL (2006)

Keyphrases

algebraic structure
mathematical theory
computer algebra
logic programming
classical logic
modal logic
higher order
deductive reasoning
sound and complete axiomatization
database
multi agent systems
artificial neural networks
expressive power
belief revision
logical framework
deontic logic