The Contributions of Alfred Tarski to Algebraic Logic.
J. Donald MonkPublished in: J. Symb. Log. (1986)
Keyphrases
- computer algebra
- classical logic
- multi valued
- algebraic structure
- predicate logic
- logic programming
- automated reasoning
- computational properties
- epistemic logic
- mathematical theory
- defeasible logic
- logical framework
- algebraic operators
- nonmonotonic logics
- databases
- modal logic
- multi agent
- image sequences
- website
- image processing
- genetic algorithm