The logic of closed categories.

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

Authors: Manfred E. Szabo

On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements.

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

Authors: Saharon Shelah

The $n$-adic first-order undefinability of the Geach formula.

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

Authors: R. E. Jennings | D. K. Johnston | P. K. Schotch

Some elementary closure properties of $n$-cylinders.

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

Authors: M. B. Thuraisingham

Tense trees: a tree system for ${rm K}_{{rm t}}$.

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

Authors: B. J. Copeland

Constructing sequent rules for generalized propositional logics.

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

Authors: Richard L. Call

Some remarks on (weakly) weak modal logics.

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

Authors: R. E. Jennings | P. K. Schotch

A short equational axiomatization of orthomodular lattices.

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

Authors: Bolesław Sobociński

Skolem fragments.

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

Authors: Daniel Bonevac

Relevance and disjunctive syllogism.

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

Authors: Peter Lavers

Abailard's theory of universals.

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

Authors: J. Christopher Maloney

Necessary and contingent deduction.

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

Authors: Anton Dumitriu

Simplifying the axioms of the predicate calculus.

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

Authors: Jean Porte

A note on three-valued modal logic.

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

Authors: Jorgen B. Jensen | Peter F. Larsen | Edwin J. MacLellan | Peter K. Schotch

Classification theory over a predicate. I.

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

Authors: Anand Pillay | Saharon Shelah

On the necessity of ${rm S}4$.

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

Authors: Kwasi Wiredu

Cognitive science and the twin-Earth problem.

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

Authors: J. A. Fodor

First degree formulas in Curry's LD.

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

Authors: Robert K. Meyer

Variations of Zorn's lemma, principles of cofinality, and Hausdorff's maximal principle. I. Set forms.

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

Authors: Judith M. Harper | Jean E. Rubin

Sémantique des formules logiques en forme d'équivalence $n$-aire (demi-modèles).

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

Authors: Metoděj K. Chytil