4 found
Order:
See also
Robert Passmann
University of Amsterdam
  1.  21
    Logics of intuitionistic Kripke-Platek set theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.
    We investigate the logical structure of intuitionistic Kripke-Platek set theory , and show that the first-order logic of is intuitionistic first-order logic IQC.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  57
    Should pluralists be pluralists about pluralism?Robert Passmann - 2021 - Synthese 199 (5-6):12663-12682.
    How many correct logics are there? Monists endorse that there is one, pluralists argue for many, and nihilists claim that there are none. Reasoning about these views requires a logic. That is the meta-logic. It turns out that there are some meta-logical challenges specifically for the pluralists. I will argue that these depend on an implicitly assumed absoluteness of correct logic. Pluralists can solve the challenges by giving up on this absoluteness and instead adopt contextualism about correct logic. This contextualism (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  25
    The first-order logic of CZF is intuitionistic first-order logic.Robert Passmann - 2024 - Journal of Symbolic Logic 89 (1):308-330.
    We prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics. On the way, we also show that the propositional admissible rules of CZF are exactly those of intuitionistic propositional logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark