LabCompass

J. Michael Dunn

Computer Science · Indiana University

OpenAlex
Logic, Reasoning, and KnowledgeAdvanced Algebra and LogicLogic, programming, and type systemsComputability, Logic, AI AlgorithmsPhilosophy and Theoretical Science

Publications

121

Citations

6,196

Est. group size

—

Recurring co-author estimate

Active years

58

Publishing since 1967

Research summary
AI-generated

J. Michael Dunn works in mathematical and philosophical logic, focusing on relevance logic (a system of reasoning where premises must be genuinely relevant to conclusions) and related topics like entailment and many-valued logic. The work develops both algebraic and relational (semantic) methods for these logical systems, and includes historical accounts of how relevance logic developed. Much of the output is theoretical, appearing in specialized logic books and journals.

Relevance logic and entailmentAlgebraic and relational semantics for logicMany-valued and four-valued logicHistory of logicReasoning about information and contradiction

Publication activity has slowed over the last decade, with a notable cluster of output around 2017 followed by only occasional papers in recent years.

Generated by claude-opus-4-8 from public bibliographic data · Jul 11, 2026

Publication cadence
Publications per year over the last 10 years — averaging 0.4/year recently
2017: 11 publications11172018: 2 publications182019: 4 publications192020: 1 publication202021: 4 publications21222023: 1 publication232024: 1 publication242526
Recent publications
Publishes in
  • Princeton University Press eBooks×9
  • Outstanding contributions to logic×7
  • Synthese Library/Synthese library×3
  • Logica Universalis×2
  • FLAP×1

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 11, 2026.

Claim or correct this profile