63 found
Order:
  1.  10
    Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.
  2.  4
    The Philosophy of Mathematics.Atwell R. Turquette & Stephan Korner - 1962 - Philosophical Review 71 (2):248.
  3.  24
    Gobel and the Synthetic a Priori.Atwell R. Turquette - 1950 - Journal of Philosophy 47 (5):125-129.
  4.  10
    Truth and Consequence in Mediaeval Logic.Atwell R. Turquette - 1955 - Journal of Philosophy 52 (16):439-442.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  23
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
  6.  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  
  7. Gödel and the Synthetic a Priori.Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):221-222.
     
    Export citation  
     
    Bookmark   2 citations  
  8.  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.
  9.  21
    Peirce's Phi and Psi Operators for Triadic Logic.Atwell R. Turquette - 1967 - Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  10.  33
    Storrs McCall and R. K. Meyer. Pure Three-Valued Łukasiewiczian Implication. The Journal of Symbolic Logic, Vol. 31 , Pp. 399–405.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
  11.  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.
  12.  10
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.
  13.  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.
  14.  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.
  15.  7
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
  16. 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.
  17. 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.
  18. Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW]Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
  19.  30
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):261-266.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  13
    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.
  21.  5
    Peirce's Icons for Deductive Logic.Atwell R. Turquette - 1974 - Journal of Symbolic Logic 39 (2):354-354.
  22.  24
    A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  21
    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  
  24.  21
    Truth and Consequence in Mediaeval Logic. [REVIEW]Atwell R. Turquette - 1955 - Journal of Philosophy 52 (16):439-442.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  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.
  26.  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  
  27.  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.
  28.  34
    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  
  29.  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.
  30.  15
    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.
  31.  15
    Review: Willard Van Orman Quine, Methods of Logic. [REVIEW]Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):203-204.
  32.  13
    Castaneda Hector-Neri. A Note on S5.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275.
  33.  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  
  34.  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  
  35.  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.
  36.  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.
  37.  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  
  38.  10
    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.
  39.  10
    Thiele Helmut. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 93–106.Thiele Helmut. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 108–142. [REVIEW]Atwell R. Turquette - 1967 - Journal of Symbolic Logic 32 (2):260-261.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40.  19
    Simplified Axioms for Many-Valued Quantification Theory.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (2):139-148.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  41.  9
    The Philosophy of Mathematics.Atwell R. Turquette - 1951 - Philosophical Review 60 (4):597.
  42. Encyclopaedia Britannica.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):22-29.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  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.
  44.  9
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Mathematical Logic Quarterly 18 (16‐18):261-266.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  7
    Salomaa Arto. Some Completeness Criteria for Sets of Functions Over a Finite Domain. II. Annales Universitatis Turkuensis, Series AI, No. 63. Turun Yliopisto, Turku 1963, 19 Pp. [REVIEW]Atwell R. Turquette - 1965 - Journal of Symbolic Logic 30 (1):106-106.
  46.  4
    Review: Max Black, How Difficult Might Induction Be; Max Black, Carnap on Semantics and Logic. [REVIEW]Atwell R. Turquette - 1957 - Journal of Symbolic Logic 22 (3):316-317.
  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.  6
    The Elements of Mathematical Logic.Atwell R. Turquette - 1952 - Philosophical Review 61 (2):260.
  49.  6
    Salomaa Arto. On Many-Valued Systems of Logic. Ajatus, Vol. 22 , Pp. 115–159.Salomaa Arto. On the Composition of Functions of Several Variables Ranging Over a Finite Set. Annales Universitatis Turkuensis, Series A, Turun Yliopisto, Turku 1960, 48 Pp. [REVIEW]Atwell R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):291-293.
  50.  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  
1 — 50 / 63