Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions

JOURNAL ARTICLE published September 2008 in Journal of Symbolic Logic

Authors: Morten Heine Sørensen | PaweŁ Urzyczyn

Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics

JOURNAL ARTICLE published December 1996 in Journal of Symbolic Logic

Authors: D. M. Gabbay

The post correspondence problem

JOURNAL ARTICLE published 10 October 1968 in Journal of Symbolic Logic

Authors: Dennis F. Cudia | Wilson E. Singletary

Single premise Post canonical forms defined over one-letter alphabets

JOURNAL ARTICLE published September 1974 in Journal of Symbolic Logic

Authors: Charles E. Hughes

On partitions of the real line into compact sets

JOURNAL ARTICLE published June 1987 in Journal of Symbolic Logic

Authors: Ludomir Newelski

TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS

JOURNAL ARTICLE published June 2023 in The Journal of Symbolic Logic

Authors: THOMAS GILTON | MAXWELL LEVINE | ŠÁRKA STEJSKALOVÁ

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