Dunn's research focuses on information based logics and relations between logic and computer science.
Algebraic logic, proof theory, non-standard logics (esp. relevance logic), relations between logic and computer science.
- Non-classical logics, especially relevance logic
- Formal, especially algebraic, semantics
- Automated reasoning
- Philosophy of language
- Philosophy of mind
Information based logics, algebraic logic, proof theory, non-standard logics (esp. relevance logic), relations between logic, and computer science.
Algebra, Artificial Intelligence/Cybernetics, Computer Theory, Logic, Mathematical Foundations