Facet browsing currently unavailable
Page 3 of 14311 results
Sort by: relevance publication year
A. M. Turing. Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 2. Folge, Bd. 45, Heft 3 (1939), S. 161–228. JOURNAL ARTICLE published September 1939 in Journal of Symbolic Logic |
Morris Weitz. Analysis and the unity of Russell's philosophy. The philosophy of Bertrand Russell, edited by Paul Arthur Schilpp, Northwestern University, Evanston and Chicago1944, pp. 55–121. JOURNAL ARTICLE published September 1944 in Journal of Symbolic Logic |
Hyman Kamel. Relational algebra and uniform spaces. The journal of the London Mathematical Society, vol. 29 (1954), pp. 342–344. JOURNAL ARTICLE published December 1957 in Journal of Symbolic Logic |
Daya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 7–11. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 4 (1959), pp. 93–96. JOURNAL ARTICLE published June 1959 in Journal of Symbolic Logic |
Yrjö Reenpää. Die Dualität des Verstandes. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1950, no. 7, pp. 341–414. Reprinted, Springer-Verlag, Heidelberg 1950, 76 pp. JOURNAL ARTICLE published December 1951 in Journal of Symbolic Logic |
Reviews - Evert W. Beth. Wijsbegeerte der wiskunde (Philosophy of mathematics). Philosophische bibliotheek. Standaard-Boekhandel, Antwerp; Dekker and van de Vegt, Nijmegen; new edition wholly rewritten, 1948, 387 pp. JOURNAL ARTICLE published 16 May 1949 in Journal of Symbolic Logic |
Paulette Destouches-Février. Logique et théories physiques. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 45–54. JOURNAL ARTICLE published March 1954 in Journal of Symbolic Logic |
Andrea Cantini. Logical frameworks for truth and abstraction. An axiomatic study. Studies in logic and the foundations of mathematics, vol. 135. Elsevier, Amsterdam etc. 1996, xii + 461 pp. JOURNAL ARTICLE published March 1998 in Journal of Symbolic Logic |
Guido Calogero. Lezioni di filosofia. Volume primo. Logica, gnoseologia, ontologia. Giulio Einaudi, Turin1948, IX + 278 pp. - Guido Calogero. Lezioni di filosofia. Volume terzo. Estetica, semanlica, istorica. Giulio Einaudi, Turin1947, IX + 392 pp. JOURNAL ARTICLE published March 1950 in Journal of Symbolic Logic |
Jerzt Łoś. O matrycach logicznych (On logical matrices). Prace Wrocławskiego Towarzystwa Naukowego, series B, no. 19. Wrocław1949, 42 pp. JOURNAL ARTICLE published March 1951 in Journal of Symbolic Logic |
Daniel Lacombe. Sur le semi-réseau constitué par les degrés d'indécidabilité récursive. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 239 (1954), pp. 1108–1109. JOURNAL ARTICLE published June 1958 in Journal of Symbolic Logic |
F. A. Kabakov. O modélirovanii po réalizuémosti psévdobulévyh algébr. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 16–18. - F. A. Kabakov. On modelling of pseudo-Boolean algebras by realizability. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 562–564. JOURNAL ARTICLE published September 1972 in Journal of Symbolic Logic |
Jacques Riguet. Sur l'extension du calcul des relations binaires au calcul des matrices à éléments dans une algèbre de Boole complète. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), t. 238 (1954), p. 2382–2385. JOURNAL ARTICLE published December 1956 in Journal of Symbolic Logic |
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 167–247. - James W. Garson. Quantification in modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 249–307. - Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 309–353. JOURNAL ARTICLE published December 1989 in Journal of Symbolic Logic |
Lovely pairs of models: the non first order case JOURNAL ARTICLE published September 2004 in Journal of Symbolic Logic |
Shôji Maehara. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 (1954), pp. 923–926. JOURNAL ARTICLE published March 1962 in Journal of Symbolic Logic |
R. A. Kocourek. An evaluation of symbolic logic. Proceedings of The American Catholic Philosophical Association, vol. 22 (pub. 1948), pp. 95–104. JOURNAL ARTICLE published 16 May 1949 in Journal of Symbolic Logic |
Claude E. Shannon. A symbolic analysis of relay and switching circuits. Transactions of the American Institute of Electrical Engineers, vol. 57 (1938), pp. 713–723. JOURNAL ARTICLE published June 1939 in Journal of Symbolic Logic |
Homer H. Dubs. Definition and its problems. The philosophical review, vol. 52 (1943), pp. 566–577. JOURNAL ARTICLE published 29 March 1944 in Journal of Symbolic Logic |
Á. M. Barzdin′. Ob odnom klassé mašin T′ύringa (mašiny Minskogo) (On a class of Turing machines (Minsky machines)). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 42–51. JOURNAL ARTICLE published February 1968 in Journal of Symbolic Logic |