Algebraic Approach to Algorithmic Logic.

Grzegorz Bancerek

Published in: Formaliz. Math. (2014)

Keyphrases

computer algebra
algebraic structure
multi valued
modal logic
logic programming
mathematical theory
automated reasoning
predicate logic
classical logic
data model
multi agent
artificial intelligence
real time
epistemic logic
deontic logic
asynchronous circuits
neural network
databases