Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 14311 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

Authors: John G. Kemeny

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

Authors: Robert McNaughton

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

Authors: Edward Griffor

Meeting of the Association for Symbolic Logic, Clermont-Ferrand, France, 1975

JOURNAL ARTICLE published March 1977 in Journal of Symbolic Logic

Authors: M. Guillaume

Generalized prime models

JOURNAL ARTICLE published December 1971 in Journal of Symbolic Logic

Authors: Robert Fittler

Combinator realizability of a constructive Morse set theory

JOURNAL ARTICLE published January 1974 in Journal of Symbolic Logic

Authors: John Staples

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

Authors: Helen Brodie

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

Authors: Frederic B. Fitch

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

Authors: A. N. Prior

Finite models for inequations

JOURNAL ARTICLE published December 1966 in Journal of Symbolic Logic

Authors: M. D. Gladstone

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

Authors: Andrzej Mostowski

DISTINGUISHING PERFECT SET PROPERTIES IN SEPARABLE METRIZABLE SPACES

JOURNAL ARTICLE published March 2016 in The Journal of Symbolic Logic

Authors: ANDREA MEDINI

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

Authors: Alonzo Church

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

Authors: Gene F. Rose

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

Authors: A. R. Turquette

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

Authors: H. B. Enderton

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

Authors: Nuel D. Belnap

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

Authors: G. D. W. Berry

Well-behaved modal logics

JOURNAL ARTICLE published December 1984 in Journal of Symbolic Logic

Authors: Harold T. Hodes