37 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.
    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.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Atwell R. Turquette (1974). Peirce's Icons for Deductive Logic. Journal of Symbolic Logic 39 (2):354-354.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. 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  
     
    My bibliography  
     
    Export citation  
  9. Atwell R. Turquette (1972). Generalized Modal Sets. Mathematical Logic Quarterly 18 (16‐18):261-266.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Atwell R. Turquette (1972). Modality, Minimality, and Many-Valuedness. Journal of Symbolic Logic 37 (4):753-754.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Atwell R. Turquette (1969). Peirce's Complete Systems of Triadic Logic. Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. 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  
  13. Atwell R. Turquette (1967). Peirce's Phi and Psi Operators for Triadic Logic. Transactions of the Charles S. Peirce Society 3 (2):66 - 73.
  14. 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  
  15. 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)  
     
    My bibliography  
     
    Export citation  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. 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  
  23. 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  
  24. Atwell R. Turquette (1963). Independent Axioms for Infinite-Valued Logic. Journal of Symbolic Logic 28 (3):217-221.
  25. 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  
  26. 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  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. Atwell R. Turquette (1958). Review: Max Black, Encyclopaedia Britannica. [REVIEW] Journal of Symbolic Logic 23 (1):22-29.
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. 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  
  33. 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  
  34. 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  
  35. Atwell R. Turquette (1953). Fifteenth Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 18 (2):187-192.
  36. Atwell R. Turquette (1950). Gobel and the Synthetic a Priori. Journal of Philosophy 47 (5):125-129.
  37. 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