24 found
Order:
Disambiguations
Don Pigozzi [24]D. Pigozzi [7]
  1.  94
    A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
  2.  37
    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  
     
    Bookmark   56 citations  
  3.  5
    Fregean Logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
    According to Frege's principle the denotation of a sentence coincides with its truth-value. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense.A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A deductive system is a second-order matrix over the formula algebra of some fixed but arbitrary language. A second-order matrix A is (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   25 citations  
  4.  54
    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  
     
    Bookmark   8 citations  
  5.  35
    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  
     
    Bookmark   8 citations  
  6.  31
    Fregean Logics with the Multiterm Deduction Theorem and Their Algebraization.J. Czelakowski & D. Pigozzi - 2004 - Studia Logica 78 (1-2):171 - 212.
    A deductive system (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7.  15
    Fred B. Wright. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    Ralph McKenzie. 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.
  9.  28
    Alfred Tarski's Work on General Metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
  10.  33
    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  
     
    Bookmark  
  11.  15
    Introduction.W. J. Blok & D. Pigozzi - 1991 - Studia Logica 50 (3-4):365-374.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  23
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2003 - Studia Logica 74 (1-2):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Relatively Point-Regular Quasivarieties.J. Czelakowski & D. Pigozzi - 1989 - Bulletin of the Section of Logic 18 (4):183-195.
     
    Export citation  
     
    Bookmark   2 citations  
  14.  33
    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  
     
    Bookmark  
  15.  24
    Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    Review: Fred B. Wright, Ideals in a Polyadic Algebra. [REVIEW]Don Pigozzi - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  17.  6
    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-240.
  18.  6
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  5
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Review: Hans Hermes, Diana Schmidt, Introduction to Mathematical Logic. [REVIEW]Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
  21.  3
    Review: Donald Monk, Singulary Cylindric and Polyadic Equality Algebras. [REVIEW]Don Pigozzi - 1975 - Journal of Symbolic Logic 40 (2):240-240.
  22.  2
    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  
     
    Bookmark  
  23.  1
    Review: Ralph McKenzie, Representations of Integral Relation Algebras. [REVIEW]Don Pigozzi - 1974 - Journal of Symbolic Logic 39 (2):337-337.
  24. 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  
     
    Bookmark