35 found
Sort by:
  1. Atwell R. Turquette (1996). Salomaa Arto. On Infinitely Generated Sets of Operations Infinite Algebras. Annales Universitatis Turkuensis, Series A, I, Astronomica-Chemica-Physica-Mathematica, No. 74. Turun Yliopisto, Turku 1964, 13 Pp. [REVIEW] Journal of Symbolic Logic 31 (1):119-120.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Atwell R. Turquette (1996). Sobociński Bolesław. A Note Concerning the Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic, Vol. 2 (1961), Pp. 127–128. [REVIEW] Journal of Symbolic Logic 31 (1):117-117.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Atwell R. Turquette (1996). Sioson Federico M.. Further Axiomatizations of the Łukasiewicz Three-Valued Calculus. Notre Dame Journal of Formal Logic, Vol. 5 No. 1 (1964), Pp. 62–70. [REVIEW] Journal of Symbolic Logic 31 (3):500-501.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  5. Atwell R. Turquette (1978). Alternative Axioms for Peirce's Triadic Logic. Mathematical Logic Quarterly 24 (25‐30):443-444.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Atwell R. Turquette (1976). Minimal Axioms for Peirce's Triadic Logic. Mathematical Logic Quarterly 22 (1):169-176.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Atwell R. Turquette (1972). Dualism and Trimorphism in Peirce's Triadic Logic. Transactions of the Charles S. Peirce Society 8 (3):131 - 140.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Atwell R. Turquette (1972). Generalized Modal Sets. Mathematical Logic Quarterly 18 (16‐18):261-266.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Atwell R. Turquette (1969). Peirce's Complete Systems of Triadic Logic. Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. Atwell R. Turquette (1968). Review: Storrs McCall, R. K. Meyer, Pure Three-Valued Lukasiewiczian Implication. [REVIEW] Journal of Symbolic Logic 33 (1):133-134.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Atwell R. Turquette (1967). Peirce's Phi and Psi Operators for Triadic Logic. Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  12. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Atwell R. Turquette (1966). A Method for Constructing Implication Logics. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  15. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  16. 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)  
     
    My bibliography  
     
    Export citation  
  17. Atwell R. Turquette (1966). Review: Hector-Neri Castaneda, A Note on S5. [REVIEW] Journal of Symbolic Logic 31 (2):275-275.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. 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)  
     
    My bibliography  
     
    Export citation  
  19. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Atwell R. Turquette (1964). Review: A. A. Zinov'ev, Philosophical Problems of Many-Valued Logic. [REVIEW] Journal of Symbolic Logic 29 (4):213-214.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Atwell R. Turquette (1963). Independent Axioms for Infinite-Valued Logic. Journal of Symbolic Logic 28 (3):217-221.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. 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)  
     
    My bibliography  
     
    Export citation  
  24. 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)  
     
    My bibliography  
     
    Export citation  
  25. 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)  
     
    My bibliography  
     
    Export citation  
  26. 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)  
     
    My bibliography  
     
    Export citation  
  27. 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)  
     
    My bibliography  
     
    Export citation  
  28. 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.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Atwell R. Turquette (1958). Review: Max Black, Encyclopaedia Britannica. [REVIEW] Journal of Symbolic Logic 23 (1):22-29.
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Atwell R. Turquette (1958). Simplified Axioms for Many-Valued Quantification Theory. Journal of Symbolic Logic 23 (2):139-148.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Atwell R. Turquette (1954). Many-Valued Logics and Systems of Strict Implication. Philosophical Review 63 (3):365-379.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. Atwell R. Turquette (1953). Fifteenth Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 18 (2):187-192.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Atwell R. Turquette (1950). Gobel and the Synthetic a Priori. Journal of Philosophy 47 (5):125-129.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. 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)  
     
    My bibliography  
     
    Export citation