6 found
Sort by:
  1. Hugo Mariano & Francisco Miraglia (2005). Logic, Partial Orders and Topology. Manuscrito 28 (2):449-546.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Marcelo E. Coniglio & Francisco Miraglia (2001). Modules in the Category of Sheaves Over Quantales. Annals of Pure and Applied Logic 108 (1-3):103-136.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Marcelo E. Coniglio & Francisco Miraglia (2000). Non-Commutative Topology and Quantales. Studia Logica 65 (2):223-236.
    The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia (1999). National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999. Bulletin of Symbolic Logic 5 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. E. G. K. Lopez-Escobar & Francisco Miraglia (1999). Intuitionistic Equivalence. Manuscrito 22 (2):205.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Marcelo E. Coniglio & Francisco Miraglia (1996). Equality in Linear Logic. Logique Et Analyse 39 (153-154):113-151.
    Direct download  
     
    My bibliography  
     
    Export citation