The center of an orthologic

JOURNAL ARTICLE published December 1972 in Journal of Symbolic Logic

Authors: Barbara Jeffcott

ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS

JOURNAL ARTICLE published June 2018 in The Journal of Symbolic Logic

Authors: GERHARD JÄGER | SILVIA STEILA

Separating stationary reflection principles

JOURNAL ARTICLE published March 2000 in Journal of Symbolic Logic

Authors: Paul Larson

SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES

JOURNAL ARTICLE published March 2021 in The Journal of Symbolic Logic

Authors: GUNTER FUCHS | CHRIS LAMBIE-HANSON

Resolution in type theory

JOURNAL ARTICLE published September 1971 in Journal of Symbolic Logic

Authors: Peter B. Andrews

MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES

JOURNAL ARTICLE published March 2022 in The Journal of Symbolic Logic

Authors: HUNTER CHASE | JAMES FREITAG

JSL Volume 67 issue 4 Cover and Front matter

JOURNAL ARTICLE published December 2002 in Journal of Symbolic Logic

Anders Wedberg. Filosofins historia. Antiken och medeltiden. (History of philosophy. Ancient and medieval.) Bonniers, Stockholm1958, 197 pp.

JOURNAL ARTICLE published September 1960 in Journal of Symbolic Logic

Authors: Th. Skolem

JSL volume 31 issue 3 Cover and Front matter

JOURNAL ARTICLE published 2 September 1966 in Journal of Symbolic Logic

Notices

JOURNAL ARTICLE published December 1981 in Journal of Symbolic Logic

Mike Prest. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp.

JOURNAL ARTICLE published September 1989 in Journal of Symbolic Logic

Authors: T. G. Kucera

Jean-Louis Destouches. La théorie physique et ses principes fondamentaux. With discussion by Bauer, Bayer, Julien Benda, Bouligand, Bréhier, Cazin, Césari, Mme. Destouches-Février, Hyppolite, Mme. Lévy-Strauss, Metz, Ullmo, Wolff, and the author. Bulletin de la Société française de Philosophie vol. 42 no. 1–2 (1948), pp. 1–32.

JOURNAL ARTICLE published June 1950 in Journal of Symbolic Logic

Authors: Frederic B. Fitch

There exist two regressive sets whose intersection is not regressive

JOURNAL ARTICLE published 9 October 1967 in Journal of Symbolic Logic

Authors: K. I. Appel

Antonio Diego. Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, viii + 55 pp.

JOURNAL ARTICLE published March 1970 in Journal of Symbolic Logic

Authors: C. G. McKay

Index of reviews

JOURNAL ARTICLE published December 1937 in Journal of Symbolic Logic

Corrigendum to “Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers”

JOURNAL ARTICLE published September 2005 in Journal of Symbolic Logic

Authors: Philip Ehrlich

Lewis Carroll (pseudonym), Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an afterword by Paul Good. Tropen Verlag, Cologne, and Frommann-Holzboog, Stuttgart, 1998, 199 pp. - Paul Good, Logik—ein Spiel, Therein, pp. 103–119.

JOURNAL ARTICLE published September 1999 in Journal of Symbolic Logic

Authors: Keith Stenning

Yuki Wooyenaka. Remark on a set of postulates for distributive lattices. Proceedings of the Japan Academy, vol. 27 (1951), pp. 162–165.

JOURNAL ARTICLE published March 1952 in Journal of Symbolic Logic

Authors: Nicholas Rescher

A note on the isomorphism problem for SK[G]

JOURNAL ARTICLE published September 2001 in Journal of Symbolic Logic

Authors: Zoé Chatzidakis | Peter Pappas

John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 (1953), pp. 7–10.

JOURNAL ARTICLE published March 1955 in Journal of Symbolic Logic

Authors: Martin Davis