13 found
Sort by:
  1. Mai Gehrke, Ramon Jansana & Alessandra Palmigiano (2010). Canonical Extensions for Congruential Logics with the Deduction Theorem. Annals of Pure and Applied Logic 161 (12):1502-1519.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Ramon Jansana, Mai Gehrke, Alessandra Palmigiano, Mihir K. Chakraborty, Didier Dubois, Eric Pacuit, Rohit Parikh & Prakash Panangaden (2008). Indian Institute of Technology, Kanpur January 14–26, 2008. Bulletin of Symbolic Logic 14 (4).
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Mai Gehrke (2006). Generalized Kripke Frames. Studia Logica 84 (2):241 - 275.
    Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form.This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. These structures generalize Kripke structures but are two-sorted, containing both worlds and co-worlds. These latter points (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Guram Bezhanishvili & Mai Gehrke (2005). Completeness of S4 with Respect to the Real Line: Revisited. Annals of Pure and Applied Logic 131 (1):287-301.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano (2005). Canonical Extensions and Relational Completeness of Some Substructural Logics. Journal of Symbolic Logic 70 (3):713 - 740.
    In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Mai Gehrke, Hideo Nagahashi & Yde Venema (2005). A Sahlqvist Theorem for Distributive Modal Logic. Annals of Pure and Applied Logic 131 (1):65-102.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Johan Van Benthem, Guram Bezhanishvili & Mai Gehrke (2003). Euclidean Hierarchy in Modal Logic. Studia Logica 75 (3):327 - 344.
    For a Euclidean space ${\Bbb R}^{n}$ , let $L_{n}$ denote the modal logic of chequered subsets of ${\Bbb R}^{n}$ . For every n ≥ 1, we characterize $L_{n}$ using the more familiar Kripke semantics thus implying that each $L_{n}$ is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics $L_{n}$ form a decreasing chain converging to the logic $L_{\infty}$ of chequered subsets of ${\Bbb R}^{\infty}$ . As a result, we obtain that $L_{\infty}$ is (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Johan van Benthem1 Guram Bezhanishvili & Mai Gehrke (2003). Euclidean Hierarchy in Modal Logic. Studia Logica 75:327-344.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Johan van Benthem, Guram Bezhanishvili & Mai Gehrke (2003). Euclidean Hierarchy in Modal Logic. Studia Logica 75 (3):327-344.
    For a Euclidean space , let L n denote the modal logic of chequered subsets of . For every n 1, we characterize L n using the more familiar Kripke semantics, thus implying that each L n is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics L n form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Johan van Benthem, Guram Bezhanishvili & Mai Gehrke (2003). Mr2027555 (2005a: 03039) 03b45 (03b35). Studia Logica 75 (3):327-344.
     
    My bibliography  
     
    Export citation  
  11. Mai Gehrke (1991). The Order Structure of Stone Spaces and the TD‐Separation Axiom. Mathematical Logic Quarterly 37 (1):5-15.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Mai Gehrke, Matt Insall & Klaus Kaiser (1990). Some Nonstandard Methods Applied to Distributive Lattices. Mathematical Logic Quarterly 36 (2):123-131.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Mai Gehrke & Klaus Kaiser (1987). On the Maximality of Some Conormal Extensions of a Lattice. Mathematical Logic Quarterly 33 (1):13-18.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation