63 found
Order:
  1.  4
    The Philosophy of Mathematics.Atwell R. Turquette & Stephan Korner - 1962 - Philosophical Review 71 (2):248.
  2.  9
    Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.
  3.  10
    Truth and Consequence in Mediaeval Logic.Atwell R. Turquette - 1955 - Journal of Philosophy 52 (16):439-442.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  23
    Gobel and the Synthetic a Priori.Atwell R. Turquette - 1950 - Journal of Philosophy 47 (5):125-129.
  5.  5
    Fragments of Many-Valued Statement Calculi.Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  23
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
  7.  22
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):443-444.
  8.  20
    Peirce's Phi and Psi Operators for Triadic Logic.Atwell R. Turquette - 1967 - Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  9.  10
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.
  10.  7
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
  11.  5
    Peirce's Icons for Deductive Logic.Atwell R. Turquette - 1974 - Journal of Symbolic Logic 39 (2):354-354.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  31
    Independent Axioms for Infinite-Valued Logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
  13.  19
    Dualism and Trimorphism in Peirce's Triadic Logic.Atwell R. Turquette - 1972 - Transactions of the Charles S. Peirce Society 8 (3):131 - 140.
  14.  18
    Peirce's Complete Systems of Triadic Logic.Atwell R. Turquette - 1969 - Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
  15.  17
    Many-Valued Logics and Systems of Strict Implication.Atwell R. Turquette - 1954 - Philosophical Review 63 (3):365-379.
  16. Encyclopaedia Britannica.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):22-29.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  5
    The Determination of All Sheffer Functions in 3-Valued Logic, Using a Logical Computer.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  12
    Albert E. Avey. Recent Schools of Logic. A History of Philosophical Systems, Edited by Vergilius Ferm, The Philosophical Library, New York1950, Pp. 504–515. - Gustav Bergmann. Logical Positivism. A History of Philosophical Systems, Edited by Vergilius Ferm, The Philosophical Library, New York1950, Pp. 471–482. Reprinted in The Metaphysics of Logical Positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, Pp. 1–16. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (2):184-185.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    A. A. Zinov′Ev. Philosophical Problems of Many-Valued Logic. Revised Edition, Edited and Translated by Guido Küng and David Dinsmore Comey. Synthese Library. D. Reidel Publishing Company, Dordrecht, Holland, 1963, XIV + 155 Pp. - Guido Küng and David Dinsmore Comey. Foreword From the Editors. Therein, Pp. VII–IX. - Anonymous. Bibliography of the Publications of Aleksandr Aleksandrovič Zinov′Ev. Therein, Pp. X–XI. - A. A. Zinov′Ev. Author's Preface. Therein, Pp. XII–XIV. - Guido Küng and David Dinsmore Comey. Translators' Notes. Therein, Pp. 149–150. [REVIEW]Atwell R. Turquette - 1964 - Journal of Symbolic Logic 29 (4):213-214.
  20.  24
    A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.
  21.  1
    A Method for Constructing Implication Logics.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (2):308-309.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  16
    Arto Salomaa. On Infinitely Generated Sets of Operations Infinite Algebras. Annales Universitatis Turkuensis, Series A, I, Astronomica-Chemica-Physica-Mathematica, No. 74. Turun Yliopisto, Turku1964, 13 Pp. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):119-120.
  23.  10
    Bergmann Gustav. Sense and Nonsense in Operationism. The Validation of Scientific Theories, Edited, with an Introduction, by Frank Philipp G., The Beacon Press, Boston 1956, Pp. 41–52. , Pp. 210–214).Hempel Carl G.. A Logical Appraisal of Operationism. A Reprint of XXIII 354. The Validation of Scientific Theories, Edited, with an Introduction, by Frank Philipp G., The Beacon Press, Boston 1956, Pp. 52–67. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):255-256.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  11
    Butler Jean W.. On Complete and Independent Sets of Truth Functions in Multi-Valued Logics. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 78–80.Butler Jean W.. On Complete and Independent Sets of Operations in Finite Algebras. Pacific Journal of Mathematics, Vol. 10 , Pp. 1169–1179. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (2):246-246.
  25.  9
    Black Max. Abstract and Abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto 1956, Vol. 1, Pp. 67–68; Also Max Black. Abstract and Abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto 1957, Vol. 1, Pp. 67–68. [REVIEW]Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):22-29.
  26.  20
    Black Max. How Difficult Might Induction Be? Problems of Analysis, Philosophical Essays, by Max Black, Cornell University Press, Ithaca 1954, Pp. 209–225, 297.Black Max. Carnap on Semantics and Logic. Problems of Analysis, Philosophical Essays, by Max Black, Cornell University Press, Ithaca 1954, Pp. 255–290, 298–299. [REVIEW]Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):316-317.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  16
    Bolesław Sobociński. A Note Concerning the Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic, Vol. 2 , Pp. 127–128. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):117-117.
  28.  13
    Castaneda Hector-Neri. A Note on S5.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275.
  29.  8
    Dreben Burton. Relation of M-Valued Quantificational Logic to 2-Valued Quantificational Logic. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 303–304. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
  30.  3
    Defining Peirce’s Verum.Atwell R. Turquette - 1988 - Philosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 2:842-845.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  16
    Foxley Eric. The Determination of All Sheffer Functions in 3-Valued Logic, Using a Logical Computer. Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 41–50. [REVIEW]Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (2):174-174.
  32.  6
    Fifteenth Meeting of the Association for Symbolic Logic.Atwell R. Turquette - 1953 - Journal of Symbolic Logic 18 (2):187-192.
  33.  31
    Federico M. Sioson. Further Axiomatizations of the Łukasiewicz Three-Valued Calculus. Notre Dame Journal of Formal Logic, Vol. 5 No. 1 , Pp. 62–70.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (3):500.
  34. Gödel and the Synthetic a Priori.Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):221-222.
     
    Export citation  
     
    Bookmark   1 citation  
  35.  9
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Mathematical Logic Quarterly 18 (16‐18):261-266.
  36.  30
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):261-266.
  37.  3
    Hector-Neri Castaneda. A Note on S5. The Journal of Symbolic Logic, Vol. 29 No. 4 , Pp. 191–192.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275-275.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  4
    Many-Valued Logics and Systems of Strict Implication.Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):328-328.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  6
    Modality, Minimality, and Many-Valuedness.Atwell R. Turquette - 1972 - Journal of Symbolic Logic 37 (4):753-754.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  33
    Quantification for Peirce's Preferred System of Triadic Logic.Atwell R. Turquette - 1981 - Studia Logica 40 (4):373 - 382.
    Without introducing quantifiers, minimal axiomatic systems have already been constructed for Peirce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis of textual evidence) that Peirce would prefer a system which rejects the absurd but tolerates the absolutely undecidable. The systems which are introduced are shown to be absolutely consistent, deductively complete, and minimal. These dual axiomatic systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    Quine Willard van Orman. Methods of Logic. Henry Holt & Company, New York 1950, Xx + 264 Pp. [REVIEW]Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):203-204.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  16
    Alan Rose and J. Barkley Rosser. Fragments of Many-Valued Statement Calculi. Transactions of the American Mathematical Society, Vol. 87 , Pp. 1–53. - C. A. Meredith. The Dependence of an Axiom of Łukasiewicz. Transactions of the American Mathematical Society, Vol. 87 , P. 54. - C. C. Chang. Proof of an Axiom of Łukasiewicz. Transactions of the American Mathematical Society, Vol. 87 , Pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
  43.  13
    Albert E. Avey. Recent Schools of Logic. A History of Philosophical Systems, Edited by Vergilius Ferm, The Philosophical Library, New York1950, Pp. 504–515. - Gustav Bergmann. Logical Positivism. A History of Philosophical Systems, Edited by Vergilius Ferm, The Philosophical Library, New York1950, Pp. 471–482. Reprinted in The Metaphysics of Logical Positivism, by Gustav Bergmann, Longmans, Green and Co., New York, London, Toronto 1954, Pp. 1–16. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (2):184-185.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Review: Alan Rose, J. Barkley Rosser, Fragments of Many-Valued Statement Calculi. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
  45.  12
    Arto Salomaa. On the Number of Simple Bases of the Set of F Unctions Over a Finite Domain. Annales Universitatis Turkuensis, Series A, No. 52, Turun Yliopisto, Turku1962, 4 Pp. - Arto Salomaa. Some Completeness Criteria for Sets of Functions Over a Finite Domain. Annales Universitatis Turkuensis, Series A, No. 53, Turku1962, 10 Pp. [REVIEW]Atwell R. Turquette - 1962 - Journal of Symbolic Logic 27 (2):247-247.
  46.  4
    Review: Arto Salomaa, Some Completeness Criteria for Sets of Functions Over a Finite Domain. II. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (1):106-106.
  47.  9
    Review: Arto Salomaa, On Many-Valued Systems of Logic; Arto Salomaa, On the Composition of Functions of Several Variables Ranging Over a Finite Set. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):291-293.
  48.  3
    Review: Arto Salomaa, On Infinitely Generated Sets of Operations in Finite Algebras. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):119-120.
  49. Review: Burton Dreben, Relation of M-Valued Quantificational Logic to 2-Valued Quantificational Logic. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (3):375-376.
  50.  20
    Review: Gustav Bergmann, Philipp G. Frank, Sense and Nonsense in Operationism; Carl G. Hempel, A Logical Appraisal of Operationism. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):255-256.
1 — 50 / 63