12 found
Order:
Disambiguations
Francisco Miraglia [10]F. Miraglia [6]Francesca Miraglia [1]
  1.  5
    Lattice-Ordered Reduced Special Groups.M. Dickmann, M. Marshall & F. Miraglia - 2005 - Annals of Pure and Applied Logic 132 (1):27-49.
    Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups which are a lattice under their natural representation partial order ; we show that this lattice property is preserved under most of the standard constructions on RSGs; in particular finite RSGs and RSGs of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  13
    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  
     
    Bookmark   2 citations  
  3.  44
    Equality in Linear Logic.Marcelo E. Coniglio & Francisco Miraglia - 1996 - Logique Et Analyse 39 (153-154):113-151.
  4.  3
    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 (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  15
    The Boolean and Profinite Hulls of Reduced Special Groups.H. L. Mariano & F. Miraglia - 2013 - Logic Journal of the IGPL 21 (2):160-182.
  6.  14
    Xlth Latin American Symposium on Mathematical Logic Merida, Venezuela, 6-1 0 July, 1998.C. A. Di Prisco, C. E. Uzcategui, J. Bagaria, Sy D. Friedman, R. Bianconi, E. A. Cichon, E. Tahhan-Bittar, M. E. Coniglio, F. Miraglia & J. P. Di'az Varela - 2001 - Annals of Pure and Applied Logic 108 (1-3):79-101.
  7.  22
    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 (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    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  
     
    Bookmark  
  9.  4
    Virtual Reality as a Potential Tool to Face Frailty Challenges.Silvia Serino, Serena Barello, Francesca Miraglia, Stefano Triberti & Claudia Repetto - 2017 - Frontiers in Psychology 8.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10. Intuitionistic Equivalence.E. G. K. Lopez-Escobar & Francisco Miraglia - 1999 - Manuscrito 22 (2):205.
     
    Export citation  
     
    Bookmark  
  11. 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  
     
    Bookmark  
  12.  19
    The Profinite Hull of Special Groups and Local-Global Principles.Hugo Luiz 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  
     
    Bookmark