Results for 'Atwell R. Turquette'

1000+ found
Order:
  1. Encyclopaedia Britannica.Atwell R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):22-29.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  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  
  3.  7
    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  
  4.  10
    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   5 citations  
  5.  30
    The Philosophy of Mathematics.Atwell R. Turquette & Stephan Korner - 1962 - Philosophical Review 71 (2):248.
  6.  16
    Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.
  7.  32
    Godel and the synthetic a priori.Atwell R. Turquette - 1950 - Journal of Philosophy 47 (5):125-129.
  8.  24
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
  9.  7
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
  10.  24
    Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):443-444.
  11.  12
    Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.
  12.  27
    Peirce's Phi and Psi Operators for Triadic Logic.Atwell R. Turquette - 1967 - Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  13.  36
    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.
  14.  23
    Dualism and Trimorphism in Peirce's Triadic Logic.Atwell R. Turquette - 1972 - Transactions of the Charles S. Peirce Society 8 (3):131 - 140.
  15. Gödel and the Synthetic a Priori.Atwell R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):221-222.
     
    Export citation  
     
    Bookmark   2 citations  
  16.  20
    Peirce's Complete Systems of Triadic Logic.Atwell R. Turquette - 1969 - Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
  17.  7
    Peirce's Icons for Deductive Logic.Atwell R. Turquette - 1974 - Journal of Symbolic Logic 39 (2):354-354.
  18.  25
    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  
  19.  4
    A Method for Constructing Implication Logics.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (2):308-309.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  15
    Castaneda Hector-Neri. A note on S5.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275.
  21.  5
    Defining Peirce’s Verum.Atwell R. Turquette - 1988 - Philosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 2:842-845.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  16
    Fifteenth meeting of the association for symbolic logic.Atwell R. Turquette - 1953 - Journal of Symbolic Logic 18 (2):187-192.
  23.  36
    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.
  24.  11
    Generalized Modal Sets.Atwell R. Turquette - 1972 - Mathematical Logic Quarterly 18 (16‐18):261-266.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  32
    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  
  26.  4
    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  
  27.  33
    Independent axioms for infinite-valued logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
  28.  22
    Many-valued logics and systems of strict implication.Atwell R. Turquette - 1954 - Philosophical Review 63 (3):365-379.
  29.  8
    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  
  30.  7
    Modality, Minimality, and Many-valuedness.Atwell R. Turquette - 1972 - Journal of Symbolic Logic 37 (4):753-754.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  37
    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   1 citation  
  32.  20
    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  
  33.  10
    The Elements of Mathematical Logic.Atwell R. Turquette - 1952 - Philosophical Review 61 (2):260.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  13
    The Philosophy of Mathematics.Atwell R. Turquette - 1951 - Philosophical Review 60 (4):597.
  35. Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW]Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
  36.  20
    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  
  37.  17
    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.
  38.  18
    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.
  39.  15
    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  
  40.  16
    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.
  41.  11
    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.
  42.  22
    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  
  43.  22
    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.
  44.  13
    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.
  45.  19
    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.
  46.  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  
  47.  20
    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.
  48.  15
    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  
  49. 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.
  50.  14
    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.
1 — 50 / 1000