Graham Leach-Krouse

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Automatic Summarization

Digital Topology

Dependency Tree

Taxonomic Reasoning

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Notre Dame J. Formal Log.

Publications

Graham Leach-Krouse
Coalgebra and Abstraction. Notre Dame J. Formal Log. 62 (1) (2021)
Graham Leach-Krouse
Burali-Forti as a Purely Logical Paradox. J. Philos. Log. 48 (5) (2019)
Graham Leach-Krouse
Generalizing Boolos' Theorem. Rev. Symb. Log. 10 (1) (2017)
Graham Leach-Krouse
Carnap: An Open Framework for Formal Reasoning in the Browser. ThEdu@CADE (2017)
Salvatore Florio, Graham Leach-Krouse
What Russell Should have said to Burali-Forti. Rev. Symb. Log. 10 (4) (2017)
Graham Leach-Krouse
Yablifying the Rosser Sentence. J. Philos. Log. 43 (5) (2014)