21 found
Order:
Disambiguations
William S. Hatcher [20]William Hatcher [1]
  1. Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  18
    The Logical Foundations of Mathematics.William S. Hatcher - 1982 - Pergamon Press.
  3.  25
    Peter Aczel. Frege Structures and the Notions of Proposition, Truth and Set. The Kleene Symposium, Proceedings of the Symposium Held June 18–24, 1978 at Madison, Wisconsin, U.S.A., Edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in Logic and the Foundations of Mathematics, Vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, Pp. 31–59. [REVIEW]William S. Hatcher - 1986 - Journal of Symbolic Logic 51 (1):244-246.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Foundations of Mathematics.William S. Hatcher - 1968 - Philadelphia: W. B. Saunders Co..
  5.  14
    Anne Preller. La catégorie des algèbres quantifiées. Publications du Département de Mathématiques , vol. 4 no. 1 , pp. 91–136. [REVIEW]William S. Hatcher - 1975 - Journal of Symbolic Logic 40 (2):240-241.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  10
    The Logical Foundations of Mathematics.Foundations of Mathematics.Logical Foundations of Mathematics.William S. Hatcher - 1986 - Journal of Symbolic Logic 51 (2):467-470.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7. Foundations of Mathematics.William S. Hatcher - 1972 - Philosophy of Science 39 (1):88-90.
     
    Export citation  
     
    Bookmark   6 citations  
  8. Love, Power, and Justice.William S. Hatcher - 2002 - Bahá'í Pub. Trust.
  9.  48
    A Logical Solution to the Problem of Evil.William S. Hatcher - 1974 - Zygon 9 (3):245-255.
  10.  20
    A Language for Type-Free Algebra.William S. Hatcher - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):385-397.
  11.  34
    The Relative Conception of Good and Evil.William S. Hatcher - 1975 - Zygon 10 (4):446-448.
  12.  33
    Science and the baha'I Faith.William S. Hatcher - 1979 - Zygon 14 (3):229-253.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  32
    Foundations as a Branch of Mathematics.William S. Hatcher - 1972 - Journal of Philosophical Logic 1 (3/4):349 - 358.
  14.  28
    Complexity Bounds on Proofs.William S. Hatcher & Bernard R. Hodgson - 1981 - Journal of Symbolic Logic 46 (2):255-258.
  15.  35
    Logical Truth and Logical Implication.William S. Hatcher - 1966 - Journal of Symbolic Logic 31 (4):561.
  16.  9
    A Language for Type‐Free Algebra.William S. Hatcher - 1978 - Mathematical Logic Quarterly 24 (25‐30):385-397.
  17.  10
    On the Order Structure of the Hyperreal Line.William S. Hatcher & Claude Laflamme - 1983 - Mathematical Logic Quarterly 29 (4):197-202.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Review: Anne Preller, La Categorie des Algebres Quantifiees. [REVIEW]William S. Hatcher - 1975 - Journal of Symbolic Logic 40 (2):240-241.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  4
    Review: Peter Aczel, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Frege Structures and the Notions of Proposition, Truth and Set. [REVIEW]William S. Hatcher - 1986 - Journal of Symbolic Logic 51 (1):244-246.
  20.  2
    La Notion D'Équivalence Entre Systèmes Formels Et Une Généralisation Inductive du Système Dit "New Foundations" de Quine.William S. Hatcher - 1963 - Journal of Symbolic Logic 28 (2):172-173.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Logic and Logos Essays on Science, Religion and Philosophy.William S. Hatcher - 1990
     
    Export citation  
     
    Bookmark