1. Marek W. Zawadowski (1995). Descent and Duality. Annals of Pure and Applied Logic 71 (2):131-188.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Marek W. Zawadowski (1995). Pre-Ordered Quantifiers in Elementary Sentences of Natural Language. In. In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. 237--253.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Gonzalo E. Reyes & Marek W. Zawadowski (1993). Formal Systems for Modal Operators on Locales. Studia Logica 52 (4):595 - 613.
    In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation