Login / Signup
Algebraic logic, where does it stand today?
Tarek Sayed Ahmed
Published in:
Bull. Symb. Log. (2005)
Keyphrases
</>
algebraic structure
computer algebra
world wide
automated reasoning
logic programming
data sets
classical logic
modal logic
databases
higher order
information technology
logical framework
machine learning
nonmonotonic logics
deontic logic
real time
sound and complete axiomatization