Facet browsing currently unavailable
Page 4 of 14312 results
Sort by: relevance publication year
Benson Mates. Analytic sentences. The philosophical review, vol. 60 (1951), pp. 525–534. JOURNAL ARTICLE published December 1952 in Journal of Symbolic Logic |
S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32. JOURNAL ARTICLE published March 1954 in Journal of Symbolic Logic |
Tomoyuki Yamakami. Polynomial games and determinacy, Annals of pure and applied logic, vol. 80 (1996), pp. 1–16. JOURNAL ARTICLE published June 1999 in Journal of Symbolic Logic |
Meeting of the Association for Symbolic Logic, Clermont-Ferrand, France, 1975 JOURNAL ARTICLE published March 1977 in Journal of Symbolic Logic |
Generalized prime models JOURNAL ARTICLE published December 1971 in Journal of Symbolic Logic |
Combinator realizability of a constructive Morse set theory JOURNAL ARTICLE published January 1974 in Journal of Symbolic Logic |
Leon Chwistek. A formal proof of Gödel's theorem. The journal of symbolic logic, vol. 4 (1939), pp. 61–68. JOURNAL ARTICLE published March 1940 in Journal of Symbolic Logic |
C. J. Ducasse. Some comments on C. W. Morris's “Foundations of the theory of signs.”Philosophy and phenomenological research, vol. 3 no. 1 (1942), pp. 43–52. JOURNAL ARTICLE published June 1943 in Journal of Symbolic Logic |
Jens Erik Fenstad. Notes on normative logic. Avhandlinger utgitt av Det Norske Videnskaps-Akademi i Oslo, II. Historisk-filosofisk klasse, 1959 no. 1, 25 pp. JOURNAL ARTICLE published September 1959 in Journal of Symbolic Logic |
Finite models for inequations JOURNAL ARTICLE published December 1966 in Journal of Symbolic Logic |
Filozofia w Stanach Zjednoczonych 1939–1947 (Philosophy in the United States 1939–1947). Przegląd filozoficzny, vol. 44 no. 1–3 (1948), pp. 234–282—Therein: - Henryk Hiż. Wstęp (Introduction), pp. 234–241. - Henryk Hiż. Logika (Logic), pp. 241–249. - William Craig. Teoria indukcji (Theory of induction), pp. 249–255. - Henry W. Johnstone. Teoria poznania (Theory of knowledge), pp. 271–275. JOURNAL ARTICLE published 16 May 1949 in Journal of Symbolic Logic |
DISTINGUISHING PERFECT SET PROPERTIES IN SEPARABLE METRIZABLE SPACES JOURNAL ARTICLE published March 2016 in The Journal of Symbolic Logic |
G. H. v. Wright. On the idea of logical truth (I). Societas Scientarum Fennica, Commentationes physico-mathematicae, vol. 14 no. 4. Helsingfors1948, 20 pp. - G. H. von Wright. Form and content in logic. An inaugural lecture delivered on 26 May 1949 in the University of Cambridge. University Press, Cambridge1949, 35 pp. JOURNAL ARTICLE published March 1950 in Journal of Symbolic Logic |
Alan Rose. An alternative Normalisation of Sobociński's three-valued implicational propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 2 (1956) pp. 166–172. JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic |
Hasso Härlen. Elementares über 2-wertige Funktionen von 2-wertigen Variabeln. Kontrolliertes Denken, Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften (Festschrift für Wilhelm Britzelmayr), edited by Albert Menne, Alexander Wilhelmy, and Helmut Angstl, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 51–55. JOURNAL ARTICLE published December 1953 in Journal of Symbolic Logic |
F. D. Parker. Boolean matrices and logic. Mathematics magazine, vol. 37 (1964), pp. 33–38. - Hugh G. Campbell. Linear algebra with applications including linear programming. Appleton-Century-Crofts, Educational Division, Meredith Corporation, New York 1971, xiii + 396 + A45 pp. JOURNAL ARTICLE published December 1975 in Journal of Symbolic Logic |
Hugues Leblanc and Theodore Hailperin. Nondesignating singular terms. The philosophical review, vol. 68 (1959), pp. 239–243. JOURNAL ARTICLE published March 1960 in Journal of Symbolic Logic |
JSL volume 46 issue 3 Cover and Front matter JOURNAL ARTICLE published September 1981 in Journal of Symbolic Logic |
Arthur Pap. Note on the “semantic” and the “absolute” concept of truth. Philosophical studies, vol. 3 (1952), pp. 1–8. JOURNAL ARTICLE published March 1953 in Journal of Symbolic Logic |
Well-behaved modal logics JOURNAL ARTICLE published December 1984 in Journal of Symbolic Logic |