Did you mean: Gallo, Adriana
  1. Adriana Galli, Renato A. Lewin & Marta Sagastume (2004). The Logic of Equilibrium and Abelian Lattice Ordered Groups. Archive for Mathematical Logic 43 (2):141-158.
    We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. ‘‘Truth values’’ are interpreted as deviations from a state of equilibrium, so in this sense, the theorems of Bal are to be interpreted as balanced statements, for which reason there is only one distinguished truth value, namely the one that represents equilibrium. The main results are that the system Bal is algebraizable in the sense of [5] and (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Adriana Galli, Marta Sagastume & Gonzalo E. Reyes (2000). Completeness Theorems Via the Double Dual Functor. Studia Logica 64 (1):61-81.
    The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation