20 found
Order:
  1.  24
    Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - 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)  
     
    Export citation  
     
    My bibliography   43 citations  
  2.  19
    On the Closure Properties of the Class of Full G-Models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  34
    Update to “A Survey of Abstract Algebraic Logic”.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2009 - Studia Logica 91 (1):125-130.
    A definition and some inaccurate cross-references in the paper A Survey ofAlgebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. We also update a dozen of bibliographic references.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  28
    In Memory of Willem Johannes Blok 1947-2003.Joel Berman, Wieslaw Dziobiak, Don Pigozzi & James Raftery - 2006 - Studia Logica 83 (1-3):5-14.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5.  12
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2003 - Studia Logica 74 (1-2):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  15
    Alfred Tarski's Work on General Metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
  7.  23
    The Abstract Variable-Binding Calculus.Don Pigozzi & Antonino Salibra - 1995 - 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)  
     
    Export citation  
     
    My bibliography  
  8.  11
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    Wright Fred B.. Ideals in Apolyadic Algebra. Proceedings of the American Mathematical Society, Vol. 8 , Pp. 544–546.Don Pigozzi - 1971 - Journal of Symbolic Logic 36 (3):542.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Review: Donald Monk, Singulary Cylindric and Polyadic Equality Algebras. [REVIEW]Don Pigozzi - 1975 - Journal of Symbolic Logic 40 (2):240-240.
  11. University of Illinois at Chicago, Chicago, IL, June 1–4, 2003.Gregory Cherlin, Alan Dow, Yuri Gurevich, Leo Harrington, Ulrich Kohlenbach, Phokion Kolaitis, Leonid Levin, Michael Makkai, Ralph McKenzie & Don Pigozzi - 2004 - Bulletin of Symbolic Logic 10 (1).
     
    Export citation  
     
    My bibliography  
  12. Hermes Hans. Introduction to Mathematical Logic. English Translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 Pp. [REVIEW]Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Monk Donald. Singulary Cylindric and Polyadic Equality Algebras. Transactions of the American Mathematical Society, Vol. 112 , Pp. 185–205. [REVIEW]Don Pigozzi - 1975 - Journal of Symbolic Logic 40 (2):240.
  14. McKenzie Ralph. Representations of Integral Relation Algebras. The Michigan Mathematical Journal, Vol. 17 , Pp. 279–287. [REVIEW]Don Pigozzi - 1974 - Journal of Symbolic Logic 39 (2):337.
  15. Review: Fred B. Wright, Ideals in a Polyadic Algebra. [REVIEW]Don Pigozzi - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  16. Review: Hans Hermes, Diana Schmidt, Introduction to Mathematical Logic. [REVIEW]Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
  17. Review: Ralph McKenzie, Representations of Integral Relation Algebras. [REVIEW]Don Pigozzi - 1974 - Journal of Symbolic Logic 39 (2):337-337.
  18. Review: T. Traczyk, On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms; Ph. Dwinger, Generalized Post Algebras. [REVIEW]Don Pigozzi - 1972 - Journal of Symbolic Logic 37 (1):188-189.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19. Traczyk T.. On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 15 , Pp. 673–680. [REVIEW]Don Pigozzi - 1972 - Journal of Symbolic Logic 37 (1):188-189.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20. Universal Equational Theories and Varieties of Algebras.Don Pigozzi - 1979 - Annals of Mathematical Logic 17 (1-2):117-150.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography