Willem Blok's Contribution to Abstract Algebraic Logic.
Ramon JansanaPublished in: Stud Logica (2006)
Keyphrases
- computer algebra
- algebraic structure
- propositional dynamic logic
- expert systems
- classical logic
- automated reasoning
- sound and complete axiomatization
- mathematical theory
- real time
- higher level
- high level
- e learning
- modal logic
- defeasible logic
- multiscale
- formal theory
- deductive reasoning
- search engine
- information retrieval