108 found
Order:
  1.  16
    Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
  2.  28
    Methods of Logic.A. R. Turquette & Willard Van Orman Quine - 1951 - Journal of Symbolic Logic 16 (4):268.
  3.  29
    Philosophic Foundations of Quantum Mechanics.A. R. Turquette - 1945 - Philosophical Review 54 (5):513.
  4. Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.
     
    Export citation  
     
    Bookmark   36 citations  
  5.  72
    Peirce's Triadic Logic.Max Fisch & Atwell Turquette - 1966 - Transactions of the Charles S. Peirce Society 2 (2):71 - 85.
  6.  25
    Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.
  7.  42
    Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8.  44
    (1 other version)Godel and the synthetic a priori.Atwell R. Turquette - 1950 - Journal of Philosophy 47 (5):125-129.
  9. (1 other version)A note on the deductive completeness of m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1949 - Journal of Symbolic Logic 14 (4):219-225.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  13
    (1 other version)Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
  11.  16
    (1 other version)Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.
  12.  33
    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. Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility.J. B. Rosser & A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (4):177-192.
  14.  27
    Dualism and Trimorphism in Peirce's Triadic Logic.Atwell R. Turquette - 1972 - Transactions of the Charles S. Peirce Society 8 (3):131 - 140.
  15.  54
    Moisil GR. C.. Logique modale. Disquisitiones malhematicae et physicae , vol. 2 , pp. 3–98.A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (3):162-163.
  16.  27
    Peirce's Complete Systems of Triadic Logic.Atwell R. Turquette - 1969 - Transactions of the Charles S. Peirce Society 5 (4):199 - 210.
  17.  11
    Peirce's Icons for Deductive Logic.Atwell R. Turquette - 1974 - Journal of Symbolic Logic 39 (2):354-354.
  18.  16
    Charakteristik einer ternären Logik.A. R. Turquette - 1950 - Theoria 16 (1):78.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  17
    La Notion de Composabilité en Logique.A. R. Turquette - 1948 - Synthese 7 (3):201-205.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  48
    J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 , pp. 22–34. See Errata, ibid., p. iv.Burton Spencer Dreben, J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):269.
  21.  70
    Axiom schemes for m-valued functional calculi of first order: Part II. deductive completeness.J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (1):22-34.
  22.  10
    Axiom Schemes for m-Valued Functional Calculi of First Order. Part I. Definition of Axiom Schemes and Proof of Plausibility.J. B. Rosser & A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):259-260.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. A generalization of Tarski's Möglichkeit.A. Turquette - 1998 - Bulletin of Symbolic Logic 4 (4):462.
  24.  10
    A General Theory of k-Place Stroke Functions in 2-Valued Logic.A. R. Turquette - 1964 - Journal of Symbolic Logic 29 (3):143-143.
  25.  29
    (2 other versions)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  
  26.  37
    Prior A. N.. Negative quantifiers. The Australasian journal of philosophy, vol. 31 , pp. 107–123.A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (2):166-167.
  27.  29
    Curry Haskell B.. Language, metalanguage, and formal system. The philosophical review, vol. 59 , pp. 346–353.A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
  28.  8
    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  
  29.  34
    Fitch Frederic B.. Intuitionistic modal logic with quantifiers. Portugaliae mathematica, vol. 7 no. 2 , pp. 113–118.A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):261-261.
  30.  28
    Fifteenth meeting of the association for symbolic logic.Atwell R. Turquette - 1953 - Journal of Symbolic Logic 18 (2):187-192.
  31.  44
    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.
  32.  26
    Fletcher T. J.. The solution of inferential problems by Boole algebra. The mathematical gazette, vol. 36 , pp. 183–188.A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):282-282.
  33.  13
    (1 other version)Generalized Modal Sets.Atwell R. Turquette - 1972 - Mathematical Logic Quarterly 18 (16‐18):261-266.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  32
    Castaneda Hector-Neri. A note on S5.Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (2):275.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  20
    Hiż Henry. Extendióle sentential calculus.A. R. Turquette - 1960 - Journal of Symbolic Logic 25 (3):299-299.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  52
    Independent axioms for infinite-valued logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
  37.  12
    Implication for Peirce’s Triadic Logic.A. R. Turquette - 1974 - Proceedings of the XVth World Congress of Philosophy 3:399-401.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  26
    Korner S.. Truth as a predicate. Analysis , vol. 15 no. 5 , pp. 106–109.A. R. Turquette - 1956 - Journal of Symbolic Logic 21 (1):83-83.
  39.  48
    L'Infini en Logique et les Elements Definis et non Calculables.A. R. Turquette & Daniel Dugue - 1951 - Journal of Symbolic Logic 16 (4):291.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  35
    (1 other version)Many-valued logics and systems of strict implication.Atwell R. Turquette - 1954 - Philosophical Review 63 (3):365-379.
  41.  9
    Modality, Minimality, and Many-valuedness.Atwell R. Turquette - 1972 - Journal of Symbolic Logic 37 (4):753-754.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  11
    [Omnibus Review].A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):231-232.
  43.  49
    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  
  44.  16
    Quine W. V.. On ordered pairs.A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86-86.
  45.  24
    Quine. W. V. On relations as coextensive with classes.A. R. Turquette - 1947 - Journal of Symbolic Logic 12 (1):28-28.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Rose Alan. Fragments of the m-valued propositional calculus. Mathematische Zeitschrift, vol. 59 no. 2 , pp. 206–210.A. R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):64-65.
  47.  27
    Robinson Raphael M.. Finite sequences of classes.A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86-86.
  48.  51
    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  
  49.  47
    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.
  50.  9
    Solution to a Problem of Rose and Rosser.A. R. Turquette - 1966 - Journal of Symbolic Logic 31 (4):664-665.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 108