4 found
Sort by:
  1. Tomasz Połacik (2008). Back and Forth Between First-Order Kripke Models. Logic Journal of the Igpl 16 (4).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
    We study the monadic fragment of second order intuitionistic propositional logic in the language containing the standard propositional connectives and propositional quantifiers. It is proved that under the topological interpretation over any dense-in-itself metric space, the considered fragment collapses to Heyting calculus. Moreover, we prove that the topological interpretation over any dense-in-itself metric space of fragment in question coincides with the so-called Pitts' interpretation. We also prove that all the nonstandard propositional operators of the form q $\mapsto \exists$ p (q (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Tomasz Połacik (1998). Pitts' Quantifiers Are Not Topological Quantification. Notre Dame Journal of Formal Logic 39 (4):531-544.
    We show that Pitts' modeling of propositional quantification in intuitionistic logic (as the appropriate interpolants) does not coincide with the topological interpretation. This contrasts with the case of the monadic language and the interpretation over sufficiently regular topological spaces. We also point to the difference between the topological interpretation over sufficiently regular spaces and the interpretation of propositional quantifiers in Kripke models.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Tomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.