On closed elementary cuts in recursively saturated models of Peano arithmetic.

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

Authors: Bożena Piekart

Facts and the choice of logical foundations.

JOURNAL ARTICLE published 1 October 1984 in Notre Dame Journal of Formal Logic

Authors: Veikko Rantala

Independence in higher-order subclassical logic.

JOURNAL ARTICLE published 1 October 1985 in Notre Dame Journal of Formal Logic

Authors: David Ballard

Burgess on relevance: a fallacy indeed.

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

Authors: Stephen Read

On the extension of S4 with $CLMpMLp$.

JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic

Authors: R. A. Bull

Alternative completeness theorems for modal systems.

JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic

Authors: M. J. Cresswell

The role of ``Conceptual role semantics'': comments on Harman's paper.

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

Authors: Barry Loewer

Some proofs of relative completeness in modal logic.

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

Authors: M. J. Cresswell

Stationary logic and its friends. II.

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

Authors: Alan H. Mekler | Saharon Shelah

Approximate truth and Ł ukasiewicz logic.

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

Authors: T. S. Weston

Two thought experiments reviewed: comments on J. A. Fodor's paper: ``Cognitive science and the twin-Earth problem''.

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

Authors: Tyler Burge

Incompactness in regular cardinals.

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

Authors: Saharon Shelah

Second order and higher order universal decision elements in $m$-valued logic.

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

Authors: John Loader

Scott's models and illative combinatory logic.

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

Authors: M. W. Bunder

Monadic $Pi^1_1$-theories of $Pi_1^1$}-properties.

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

Authors: Kees Doets

Substitutions for predicate variables and functional variables.

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

Authors: Hubert H. Schneider

Semantic intentions and linguistic structure: comments on Schiffer's paper: ``Intention-based semantics''.

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

Authors: Richard E. Grandy

Non-definability of certain semantic properties of programs.

JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic

Authors: Richard A. DeMillo

New axioms for mereology.

JOURNAL ARTICLE published 1 October 1985 in Notre Dame Journal of Formal Logic

Authors: Audoënus Le Blanc

Isomorphism types of the hyperarithmetic sets ${bf H}_a$.

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

Authors: George C. Nelson