70 found
Order:
  1.  24
    Methods of Logic.A. R. Turquette & Willard Van Orman Quine - 1951 - Journal of Symbolic Logic 16 (4):268.
  2.  28
    Philosophic Foundations of Quantum Mechanics.A. R. Turquette - 1945 - Philosophical Review 54 (5):513.
  3. Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.
     
    Export citation  
     
    Bookmark   37 citations  
  4.  38
    (1 other version)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  
  5. (3 other versions)Review of W.V. Quine's Three Grades of Modal Involvement. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (2):168-169.
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  6. (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  
  7. 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.
  8.  28
    (1 other version)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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  13
    (1 other version)Charakteristik einer ternären Logik.A. R. Turquette - 1950 - Theoria 16 (1):78.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  5
    (2 other versions)Symposium: Justification in Science.A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):65-65.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  17
    (1 other version)La Notion de Composabilité en Logique.A. R. Turquette - 1948 - Synthese 7 (3):201-205.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  42
    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.
  13.  14
    (1 other version)Logik und Existenz. Eine Logistische Analyse der Kategorischen Syllogismusfunktoren und das Problem der Nullklasse.A. R. Turquette - 1956 - Journal of Symbolic Logic 21 (4):389-390.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  47
    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.
  15.  8
    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  
  16.  9
    (2 other versions)Introduction to Mathematical Logic and its Applications.A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (2):156-158.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  6
    (1 other version)An Introduction to Mathematical Thought.A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (3):288-289.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  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.
  19.  22
    Prior A. N.. Modality de dicto and modality de re. Theoria , vol. 18 , pp. 174–180.A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (2):167.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  22
    (1 other version)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.
  21.  18
    (1 other version)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.
  22.  21
    (1 other version)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.
  23.  19
    (1 other version)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.
  24.  11
    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  
  25.  14
    (1 other version)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.
  26.  11
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    [Omnibus Review].A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):231-232.
  28.  9
    (1 other version)Prior A. N.. On propositions neither necessary nor impossible.A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (2):167-168.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  9
    (1 other version)Quine W. V.. On ordered pairs.A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86-86.
  30.  11
    (1 other version)Quine. W. V. On relations as coextensive with classes.A. R. Turquette - 1947 - Journal of Symbolic Logic 12 (1):28-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    (1 other version)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.
  32.  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  
  33.  26
    Book Review:Theory of Experimental Inference. C. West Churchman. [REVIEW]A. R. Turquette - 1948 - Ethics 59 (1):70-.
  34.  9
    (1 other version)Asser Günter. Die endlichwertigen Łuhasiewiczschen Aussagenkalküle. Bericht über die Mathematiker—Tagung in Berlin vom 14. bis 18. Januar 1953, Deutscher Verlag der Wissenschaften, Berlin 1953, pp. 15–18. [REVIEW]A. R. Turquette - 1956 - Journal of Symbolic Logic 21 (1):87-87.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  17
    (1 other version)Aubert Karl Egil. Relations généralisées et indépendence logique des notions de réflexivité, symétrie et transitivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 229 , pp. 284–286. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (1):71-71.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  22
    (1 other version)Berry George D. W.. Symposium: On the ontological significance of the Löwenheim-Skolem theorem. Academic freedom, logic, and religion , University of Pennsylvania Press, Philadelphia 1953, pp. 39–55. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):63-63.
  37.  20
    Bense Max. Charakteristik einer ternären Logik. Theoria, vol. 16 , pp. 78–81.von Kempski Jürgen. Senses Charakteristik einer ternären Logik. Theoria, vol. 16 , pp. 152–153.Menne Albert. Zu den triadischen bivalenten Aussagefunktoren. Theoria, vol. 18 , pp. 66–69. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (4):279-280.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  68
    (3 other versions)Brugger Walter. Die Übermodalität der Notwendigkeit in logischer Betrachtung. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften , edited by Menne Albert, Wilhelmy Alexander, and Angstl Helmut, rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, pp. 18–21. [REVIEW]A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (4):329-329.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  39.  16
    de Bengy-Puyvallée R.. La notion de composabilité en logique. Synthese , vol. 7 , pp. 201–205.Bengy-Puyvallée Renaud de. Sur les règles de composabilité dans la logique de la mathématique intuitioniste sans négation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 226 , pp. 454–456.de Bengy-Puyvallée Renaud. Sur la relation de composabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 228 , pp. 624–626.de Bengy-Puyvalleé Renaud. Sur les relations d'incomposabilité dans les logiques de complémentarité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 265–267. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):231-232.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  21
    (1 other version)Dugué Daniel. L'infini en logique et les éléments définis et non calculables. Bulletin de la Société Royale des Sciences de Liège, vol. 19 , pp. 490–499. [REVIEW]A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):291-291.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    (1 other version)Destouches J. L.. Intervention d'une logique de modalité dans une théorie physique. Synthese , vol. 7 , pp. 411–417.Destouches-Février P.. Logique et théories physiques. Synthese , vol. 7, pp. 400–410. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):232-233.
  42.  21
    (1 other version)Destouches-Février Paulette. Connexions entre les calculs des constructions, des problèmes, des propositions. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 228 , pp. 31–33. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):233-233.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  16
    (1 other version)Fraenkel Abraham A.. The recent controversies about the foundation of mathematics. Scripta mathematica, vol. 13 nos. 1–2 , pp. 17–36. [REVIEW]A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (1):56-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  14
    (1 other version)Foster Alfred L.. On n-ality theories in rings and their logical algebras, including triality principle in three valued logics. American journal of mathematics, vol. 72 , pp. 101–123. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (3):230-230.
  45.  8
    (1 other version)Foster Alfred L.. Ring-logics and p-rings. University of California publications in mathematics, n.s. vol. 1 no. 10 , pp. 385–395. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (3):205-205.
  46.  13
    (1 other version)Foster Alfred L., pk-rings and ring-logics. Annali delta Scuola Normale Superiore di Pisa, Scienze fisiche e matematiche, ser. 3 vol. 5 , pp. 279–300. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (4):279-279.
  47.  13
    (1 other version)Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
  48.  39
    (1 other version)Günther Gotthard. Die philosophische Idee einer nicht-aristotelischen Logik. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 44–50.Günther Gotthard. The logical parallax. Astounding science fiction, vol. 52 no. 3 , pp. 123–133. [REVIEW]A. R. Turquette - 1954 - Journal of Symbolic Logic 19 (2):131-131.
  49.  14
    (1 other version)Halldén Sören. Results concerning the decision problem of Lewis's calculi S3 and S6. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (1):70-70.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    (1 other version)Hoo Tzu-Hua. m-valued sub-system of -valued propositional calculus. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):261-261.
1 — 50 / 70