Concepedia

Toby Meadows

TM

8

Publications

243

Citations

8

H-Index

2012

Active since

Affiliations

University of California, Irvine(Current)

University of Aberdeen

Toby Meadows is an author at University of California, Irvine specializing in automated reasoning, language studies, and humanities.

Top concepts

Automated ReasoningLanguageHumanitiesDesignClassicsSemanticsLinguisticsEpistemologyClassificationNatural Sciences

Publications per year

2012–2020

8

Publications

8

Computation in Non-Classical Foundations?

Toby Meadows, Zach Weber · Queensland's institutional digital repository (The University of Queensland) · 2016 · 103 citations · Full text

Unpicking Priest’s Bootstraps

Toby Meadows · Thought A Journal of Philosophy · 2015 · 37 citations · Full text

Humanities, Paraconsistent Logic, Religious Symbol +11

WHAT CAN A CATEGORICITY THEOREM TELL US?

Toby Meadows · The Review of Symbolic Logic · 2013 · 33 citations

Non-classical Logic, Automated Reasoning, Higher Category Theory +12

A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT

Penelope Maddy, Toby Meadows · Bulletin of Symbolic Logic · 2020 · 23 citations · Full text

Architectural Design, Continuum Hypothesis, Philosophy Of Language +14

Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections

Toby Meadows · Notre Dame Journal of Formal Logic · 2015 · 13 citations · Full text

Rows per page

1–5 of 8