18 found
Order:
Disambiguations
Don Pigozzi [25]D. Pigozzi [6]
  1. A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
  2.  70
    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 (4 more)  
     
    Export citation  
     
    Bookmark   95 citations  
  3.  32
    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)  
     
    Export citation  
     
    Bookmark   32 citations  
  4.  76
    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 of Abstract Algebraic 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 (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  64
    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 (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  6.  49
    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 (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  48
    Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
    In this essay we discuss Tarski's work on what he calledthe methodology of the deductive sciences, or more briefly, borrowing the terminology of Hilbert,metamathematics, The clearest statement of Tarski's views on this subject can be found in his textbookIntroduction to logic[41m].1Here he describes the tasks of metamathematics as “the detailed analysis and critical evaluation of the fundamental principles that are applied in the construction of logic and mathematics”. He goes on to describe what these fundamental principles are: All the expressions (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  27
    Introduction.W. J. Blok & D. Pigozzi - 1991 - Studia Logica 50 (3-4):365-374.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Relatively point-regular quasivarieties.J. Czelakowski & D. Pigozzi - 1989 - Bulletin of the Section of Logic 18 (4):183-195.
     
    Export citation  
     
    Bookmark   3 citations  
  10. 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  
  11.  42
    (2 other versions)Foreword.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2000 - Studia Logica 65 (1):1-9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    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  
  13.  77
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  14
    (1 other version)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.
  15.  15
    Review: Fred B. Wright, Ideals in a Polyadic Algebra. [REVIEW]Don Pigozzi - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  16.  20
    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.
  17.  14
    Review: Ralph McKenzie, Representations of Integral Relation Algebras. [REVIEW]Don Pigozzi - 1974 - Journal of Symbolic Logic 39 (2):337-337.
  18.  12
    (1 other version)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 (2 more)  
     
    Export citation  
     
    Bookmark