8 found
Order:
  1.  42
    Equality in Linear Logic.Marcelo E. Coniglio & Francisco Miraglia - 1996 - Logique Et Analyse 39 (153-154):113-151.
  2.  6
    Logic, Partial Orders and Topology.Hugo Mariano & Francisco Miraglia - 2005 - Manuscrito 28 (2):449-546.
    We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  1
    Modules in the Category of Sheaves Over Quantales.Marcelo E. Coniglio & Francisco Miraglia - 2001 - Annals of Pure and Applied Logic 108 (1-3):103-136.
    In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  17
    Non-Commutative Topology and Quantales.Marcelo E. Coniglio & Francisco Miraglia - 2000 - 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)  
     
    Export citation  
     
    My bibliography  
  5.  1
    National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999.Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. Intuitionistic Equivalence.E. G. K. Lopez-Escobar & Francisco Miraglia - 1999 - Manuscrito 22 (2):205.
     
    Export citation  
     
    My bibliography  
  7. Definitions: The Primitive Concept of Logics or the Le'sniewski-Tarski Legacy Vol. 401.E. López-Escobar & Francisco Miraglia - 2002 - Polska Akademia Nauk, Instytut Matematyczny.
    Translate
     
     
    Export citation  
     
    My bibliography  
  8.  5
    The Profinite Hull of Special Groups and Local-Global Principles.Hugo Mariano & Francisco Miraglia - 2011 - Studia Logica 97 (1):127-160.
    We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new 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)  
     
    Export citation  
     
    My bibliography