15 found
Sort by:
  1. Josep Maria Font, Ramon Jansana & Don Pigozzi (2009). Update to “A Survey of Abstract Algebraic Logic”. Studia Logica 91 (1):125-130.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Joel Berman, Wieslaw Dziobiak, Don Pigozzi & James Raftery (2006). In Memory of Willem Johannes Blok 1947-2003. Studia Logica 83 (1-3):435-437.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Josep Maria Font, Ramon Jansana & Don Pigozzi (2006). On the Closure Properties of the Class of Full G-Models of a Deductive System. Studia Logica 83 (1-3):215 - 278.
    In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of these structures (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Gregory Cherlin, Alan Dow, Yuri Gurevich, Leo Harrington, Ulrich Kohlenbach, Phokion Kolaitis, Leonid Levin, Michael Makkai, Ralph McKenzie & Don Pigozzi (2004). University of Illinois at Chicago, Chicago, IL, June 1–4, 2003. Bulletin of Symbolic Logic 10 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Josep Maria Font, Ramon Jansana & Don Pigozzi (2003). Foreword. Studia Logica 74 (1-2):1-9.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Josep Maria Font, Ramon Jansana & Don Pigozzi (2000). Foreword. Studia Logica 65 (1):1-9.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
    Theabstract variable binding calculus (VB-calculus) provides a formal frame-work encompassing such diverse variable-binding phenomena as lambda abstraction, Riemann integration, existential and universal quantification (in both classical and nonclassical logic), and various notions of generalized quantification that have been studied in abstract model theory. All axioms of the VB-calculus are in the form of equations, but like the lambda calculus it is not a true equational theory since substitution of terms for variables is restricted. A similar problem with the standard formalism (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. W. J. Blok & Don Pigozzi (1988). Alfred Tarski's Work on General Metamathematics. Journal of Symbolic Logic 53 (1):36-50.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. W. J. Blok & Don Pigozzi (1986). Protoalgebraic Logics. Studia Logica 45 (4):337 - 369.
    There exist important deductive systems, such as the non-normal modal logics, that are not proper subjects of classical algebraic logic in the sense that their metatheory cannot be reduced to the equational metatheory of any particular class of algebras. Nevertheless, most of these systems are amenable to the methods of universal algebra when applied to the matrix models of the system. In the present paper we consider a wide class of deductive systems of this kind called protoalgebraic logics. These include (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Don Pigozzi (1980). Review: Hans Hermes, Diana Schmidt, Introduction to Mathematical Logic. [REVIEW] Journal of Symbolic Logic 45 (1):187-188.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Don Pigozzi (1979). Universal Equational Theories and Varieties of Algebras. Annals of Mathematical Logic 17 (1-2):117-150.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Don Pigozzi (1975). Review: Donald Monk, Singulary Cylindric and Polyadic Equality Algebras. [REVIEW] Journal of Symbolic Logic 40 (2):240-240.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Don Pigozzi (1974). Review: Ralph McKenzie, Representations of Integral Relation Algebras. [REVIEW] Journal of Symbolic Logic 39 (2):337-337.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Don Pigozzi (1972). Review: T. Traczyk, On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms; Ph. Dwinger, Generalized Post Algebras. [REVIEW] Journal of Symbolic Logic 37 (1):188-189.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Don Pigozzi (1971). Review: Fred B. Wright, Ideals in a Polyadic Algebra. [REVIEW] Journal of Symbolic Logic 36 (3):542-542.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation