Order:
  1. Logic in the deep end.Graham Leach-Krouse, Shay Allen Logan & Blane Worley - 2024 - Analysis 84 (2):282-291.
    Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Hyperdoctrine Semantics: An Invitation.Shay Logan & Graham Leach-Krouse - 2022 - In Shay Logan & Graham Leach-Krouse (eds.), The Logica Yearbook, 2021. College Publications. pp. 115-134.
    Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Carnap: an Open Framework for Formal Reasoning in the Browser.Graham Leach-Krouse - 2018 - Electronic Proceedings in Theoretical Computer Science 267:70-88.
    This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, along (...)
    Download  
     
    Export citation  
     
    Bookmark