63 found
Order:
  1.  14
    Atwell R. Turquette (1978). Alternative Axioms for Peirce's Triadic Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):443-444.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  14
    Atwell R. Turquette (1972). Generalized Modal Sets. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):261-266.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  14
    Atwell R. Turquette (1976). Minimal Axioms for Peirce's Triadic Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  14
    Atwell R. Turquette (1966). A Method for Constructing Implication Logics. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  10
    Atwell R. Turquette (1955). Truth and Consequence in Mediaeval Logic. [REVIEW] Journal of Philosophy 52 (16):439-442.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  9
    Atwell R. Turquette (1967). Peirce's Phi and Psi Operators for Triadic Logic. Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  7.  11
    Atwell R. Turquette (1972). Dualism and Trimorphism in Peirce's Triadic Logic. Transactions of the Charles S. Peirce Society 8 (3):131 - 140.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  13
    Atwell R. Turquette (1969). Peirce's Complete Systems of Triadic Logic. Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  18
    Atwell R. Turquette (1950). Gobel and the Synthetic a Priori. Journal of Philosophy 47 (5):125-129.
  10.  3
    Atwell R. Turquette (1950). Review: Willard Van Orman Quine, Methods of Logic. [REVIEW] Journal of Symbolic Logic 15 (3):203-204.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  18
    Atwell R. Turquette (1981). Quantification for Peirce's Preferred System of Triadic Logic. 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  12.  1
    Atwell R. Turquette (1960). 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] Journal of Symbolic Logic 25 (3):255-256.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  1
    Atwell R. Turquette (1957). 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] Journal of Symbolic Logic 22 (3):316-317.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Atwell R. Turquette (1967). 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] Journal of Symbolic Logic 32 (2):260-261.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  14
    Atwell R. Turquette (1963). Independent Axioms for Infinite-Valued Logic. Journal of Symbolic Logic 28 (3):217-221.
  16.  11
    Atwell R. Turquette (1954). Many-Valued Logics and Systems of Strict Implication. Philosophical Review 63 (3):365-379.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  3
    Atwell R. Turquette (1960). Review: Gustav Bergmann, Philipp G. Frank, Sense and Nonsense in Operationism; Carl G. Hempel, A Logical Appraisal of Operationism. [REVIEW] Journal of Symbolic Logic 25 (3):255-256.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  6
    Atwell R. Turquette (1953). Fifteenth Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 18 (2):187-192.
  19.  2
    Atwell R. Turquette (1965). Review: Arto Salomaa, Some Completeness Criteria for Sets of Functions Over a Finite Domain. II. [REVIEW] Journal of Symbolic Logic 30 (1):106-106.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  2
    Atwell R. Turquette (1966). Review: Federico M. Sioson, Further Axiomatizations of the Lukasiewicz Three-Valued Calculus. [REVIEW] Journal of Symbolic Logic 31 (3):500-501.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  2
    Atwell R. Turquette (1976). Minimal Axioms for Peirce's Triadic Logic. Mathematical Logic Quarterly 22 (1):169-176.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  5
    Atwell R. Turquette (1958). Simplified Axioms for Many-Valued Quantification Theory. Journal of Symbolic Logic 23 (2):139-148.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Atwell R. Turquette (1972). Modality, Minimality, and Many-Valuedness. Journal of Symbolic Logic 37 (4):753-754.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  1
    Atwell R. Turquette (1959). Review: Albert E. Avey, Recent Schools of Logic; Gustav Bergmann, Logical Positivism; Gustav Bergmann, Semantics. [REVIEW] Journal of Symbolic Logic 24 (2):184-185.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    Atwell R. Turquette (1966). Review: Boleslaw Sobocinski, A Note Concerning the Many-Valued Propositional Calculi. [REVIEW] Journal of Symbolic Logic 31 (1):117-117.
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Atwell R. Turquette (1964). Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 29 (4):213-214.
     
    Export citation  
     
    My bibliography  
  27. Atwell R. Turquette (1965). Review: Jean W. Butler, On Complete and Independent Sets of Truth Functions in Multi-Valued Logics; Jean W. Butler, On Complete and Independent Sets of Operations in Finite Algebras. [REVIEW] Journal of Symbolic Logic 30 (2):246-246.
     
    Export citation  
     
    My bibliography  
  28.  1
    Atwell R. Turquette (1960). 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] Journal of Symbolic Logic 25 (3):291-293.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Louise Hay & Atwell R. Turquette (1966). Independent Axioms for Infinite-Valued Logic. Journal of Symbolic Logic 31 (4):665.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Atwell R. Turquette (1959). Avey Albert E.. Recent Schools of Logic. A History of Philosophical Systems, Edited by Ferm Vergilius, The Philosophical Library, New York 1950, Pp. 504–515.Bergmann Gustav. Logical Positivism. A History of Philosophical Systems, Edited by Ferm Vergilius, The Philosophical Library, New York 1950, 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] Journal of Symbolic Logic 24 (2):184-185.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Atwell R. Turquette (1978). Alternative Axioms for Peirce's Triadic Logic. Mathematical Logic Quarterly 24 (25‐30):443-444.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32. Atwell R. Turquette (1965). 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] Journal of Symbolic Logic 30 (2):246.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Atwell R. Turquette (1958). 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] Journal of Symbolic Logic 23 (1):22-29.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Atwell R. Turquette (1966). Castaneda Hector-Neri. A Note on S5. Journal of Symbolic Logic 31 (2):275.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Atwell R. Turquette (1965). 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] Journal of Symbolic Logic 30 (3):375-376.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Atwell R. Turquette & Federico M. Sioson (1966). Further Axiomatizations of the Lukasiewicz Three-Valued Calculus. Journal of Symbolic Logic 31 (3):500.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Atwell R. Turquette (1963). 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] Journal of Symbolic Logic 28 (2):174.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Atwell R. Turquette (1972). Generalized Modal Sets. Mathematical Logic Quarterly 18 (16‐18):261-266.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  39. Atwell R. Turquette (1968). McCall Storrs and Meyer R. K.. Pure Three-Valued Łukasiewiczian Implication. Journal of Symbolic Logic 33 (1):133-134.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Atwell R. Turquette (1974). Peirce's Icons for Deductive Logic. Journal of Symbolic Logic 39 (2):354-354.
    Direct download  
     
    Export citation  
     
    My bibliography  
  41. Atwell R. Turquette (1950). Quine Willard van Orman. Methods of Logic. Henry Holt & Company, New York 1950, Xx + 264 Pp. [REVIEW] Journal of Symbolic Logic 15 (3):203-204.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Atwell R. Turquette (1959). Rose Alan and Barkley Rosser J.. Fragments of Many-Valued Statement Calculi. Transactions of the American Mathematical Society, Vol. 87 , Pp. 1–53.Meredith C. A.. The Dependence of an Axiom of Łukasiewicz. Transactions of the American Mathematical Society, Vol. 87 , P. 54.Chang C. C.. Proof of an Axiom of Łukasiewicz. Transactions of the American Mathematical Society, Vol. 87 , Pp. 55–56. [REVIEW] Journal of Symbolic Logic 24 (3):248-249.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Atwell R. Turquette (1959). Review: Alan Rose, J. Barkley Rosser, Fragments of Many-Valued Statement Calculi. [REVIEW] Journal of Symbolic Logic 24 (3):248-249.
     
    Export citation  
     
    My bibliography  
  44. Atwell R. Turquette (1962). Review: Arto Salomaa, On the Number of Simple Bases of the Set of Functions Over a Finite Domain; Arto Salomaa, Some Completeness Criteria for Sets of Functions Over a Finite Domain. [REVIEW] Journal of Symbolic Logic 27 (2):247-247.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Atwell R. Turquette (1966). Review: Arto Salomaa, On Infinitely Generated Sets of Operations in Finite Algebras. [REVIEW] Journal of Symbolic Logic 31 (1):119-120.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Atwell R. Turquette (1965). Review: Burton Dreben, Relation of M-Valued Quantificational Logic to 2-Valued Quantificational Logic. [REVIEW] Journal of Symbolic Logic 30 (3):375-376.
     
    Export citation  
     
    My bibliography  
  47. Atwell R. Turquette (1963). Review: Eric Foxley, The Determination of All Sheffer Functions in 3-Valued Logic, Using a Logical Computer. [REVIEW] Journal of Symbolic Logic 28 (2):174-174.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Atwell R. Turquette (1966). Review: Hector-Neri Castaneda, A Note on S5. [REVIEW] Journal of Symbolic Logic 31 (2):275-275.
     
    Export citation  
     
    My bibliography  
  49. Atwell R. Turquette (1967). Review: Helmut Thiele, Eine Axiomatisierung der Zweiwertigen Pradikatenkalkule der Ersten Stufe, Welche die Implikation Enthalten; Helmut Thiele, Theorie der Endlichwertigen Lukasiewiczschen Pradikatenkalkule der Ersten Stufe. [REVIEW] Journal of Symbolic Logic 32 (2):260-261.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Atwell R. Turquette (1957). Review: Max Black, How Difficult Might Induction Be; Max Black, Carnap on Semantics and Logic. [REVIEW] Journal of Symbolic Logic 22 (3):316-317.
     
    Export citation  
     
    My bibliography  
1 — 50 / 63