Concepedia

Steve Awodey

SA

22

Publications

915

Citations

14

H-Index

1996

Active since

Affiliations

Carnegie Mellon University(Current)

IT University of Copenhagen

University of Edinburgh

University of Chicago

Steve Awodey is an author at Carnegie Mellon University specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsMathematical FoundationsLanguageSyntaxClassicsHumanitiesLinguistics

Publications per year

1996–2018

22

Publications

22

Homotopy Theoretic Models of Identity Types

Steve Awodey, Michael A. Warren · 2007 · 232 citations · Full text

Structure in Mathematics and Logic: A Categorical Perspective

Steve Awodey · Philosophia Mathematica · 1996 · 111 citations

Formal Logic, Modern Mathematical Practice, Mathematical Structure +9

An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†

Steve Awodey · Philosophia Mathematica · 2004 · 104 citations

Mathematical Structure, ’ †, Higher Category Theory +7

Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic

Steve Awodey, Erich H. Reck · History and Philosophy of Logic · 2002 · 102 citations

Engineering, Constructive Logic, Higher-order Logic +17

First-order logical duality

Steve Awodey, Henrik Forssell · Annals of Pure and Applied Logic · 2012 · 63 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +5

Rows per page

1–5 of 22