7 found
Sort by:
  1. Hugo Luiz Mariano & Francisco Miraglia (2011). The Profinite Hull of Special Groups and Local-Global Principles. Studia Logica 97 (1):127-160.
    We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new (and strong) local-global principle, the subform reflection property. We also indicate applications of this principle to the abstract algebraic theory of quadratic forms.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. 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  
  4. 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  
  5. 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  
  6. E. G. K. Lopez-Escobar & Francisco Miraglia (1999). Intuitionistic Equivalence. Manuscrito 22 (2):205.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Marcelo E. Coniglio & Francisco Miraglia (1996). Equality in Linear Logic. Logique Et Analyse 39 (153-154):113-151.
    Direct download  
     
    My bibliography  
     
    Export citation