The Hanf numbers of stationary logic. II. Comparison with other logics.

JOURNAL ARTICLE published 1 December 1991 in Notre Dame Journal of Formal Logic

Authors: Saharon Shelah

A note on the ``carving up content'' principle in Frege's theory of sense.

JOURNAL ARTICLE published 1 December 1991 in Notre Dame Journal of Formal Logic

Authors: Bernard Linsky

More on ${germ R}$.

JOURNAL ARTICLE published 1 March 1992 in Notre Dame Journal of Formal Logic

Authors: Frank O. Wagner

Semantics without reference.

JOURNAL ARTICLE published 1 June 1990 in Notre Dame Journal of Formal Logic

Authors: Christopher Gauker

Probability theory, intuitionism, semantics, and the Dutch book argument.

JOURNAL ARTICLE published 1 July 1983 in Notre Dame Journal of Formal Logic

Authors: Hugues Leblanc | Charles G. Morgan

Quantification, domains of discourse, and existence.

JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic

Authors: Thomas G. Nedzynski

Domain restrictions in standard deductive logic.

JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic

Authors: Peter Swiggart

Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.

JOURNAL ARTICLE published 1 December 1991 in Notre Dame Journal of Formal Logic

Authors: A. P. Hazen

The Hanf number of stationary logic.

JOURNAL ARTICLE published 1 January 1986 in Notre Dame Journal of Formal Logic

Authors: Matt Kaufmann | Saharon Shelah

Foundational problems of number theory.

JOURNAL ARTICLE published 1 January 1978 in Notre Dame Journal of Formal Logic

Authors: Yvon Gauthier

A Natural Deduction System for First Degree Entailment

JOURNAL ARTICLE published 1 April 1999 in Notre Dame Journal of Formal Logic

Authors: Allard M. Tamminga | Koji Tanaka

A New Solution to a Problem of Hosoi and Ono

JOURNAL ARTICLE published 1 July 1994 in Notre Dame Journal of Formal Logic

Authors: Michael Zakharyaschev

Singular Propositions and Singular Thoughts

JOURNAL ARTICLE published 1 January 1998 in Notre Dame Journal of Formal Logic

Authors: Arthur Sullivan

Syntax and Semantics of the Logic $mathcal{L}^lambda_{omegaomega}$

JOURNAL ARTICLE published 1 July 1997 in Notre Dame Journal of Formal Logic

Authors: Carsten Butz

Paraconsistency and the $rm C$-systems of da Costa.

JOURNAL ARTICLE published 1 September 1989 in Notre Dame Journal of Formal Logic

Authors: Igor Urbas

The minimal system ${rm L}'_0$.

JOURNAL ARTICLE published 1 September 1992 in Notre Dame Journal of Formal Logic

Authors: Xue Gang Wang

Polymorphism and apartness.

JOURNAL ARTICLE published 1 September 1991 in Notre Dame Journal of Formal Logic

Authors: David Charles McCarty

Another way of diagramming switching circuits.

JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic

Authors: James F. Zartman

Combinators and categorial grammar.

JOURNAL ARTICLE published 1 March 1989 in Notre Dame Journal of Formal Logic

Authors: Peter Simons

Material implication and entailment.

JOURNAL ARTICLE published 1 September 1988 in Notre Dame Journal of Formal Logic

Authors: Claro R. Ceniza