BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.

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

Authors: Robert Cowen | Katherine Wyatt

Recursive Models and the Divisibility Poset

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

Authors: James H. Schmerl

The 3-Stratifiable Theorems of $mathit{NFU} infty$

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

Authors: Marcel Crabbé

Book Review: Stewart Shapiro. Foundations with foundationalism.

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

Authors: Nino b. Cocchiarella

Book Review: Raymond Bradley. The nature of all being: A study of Wittgenstein's modal atomism.

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

Authors: D. M. Armstrong

Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973].

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

Authors: Ross T. Brady

Saying It with Numerals

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

Authors: David Auerbach

A linearly ordered topological space that is not normal.

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

Authors: Melven Krom

Finite axiomatizability and theories with trivial algebraic closure.

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

Authors: Dugald Macpherson

Book review: David H. Sanford. If P, then Q: Conditionals and the foundations of reasoning.

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

Authors: Robert Stalnaker

Bounds in weak truth-table reducibility.

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

Authors: Karol Habart

Closed categories and categorical grammar.

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

Authors: Daniel J. Dougherty

The structure of pleasant ideals.

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

Authors: Christopher C. Leary

Varying modal theories.

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

Authors: R. Lavendhomme | Th. Lucas

Alternative axiomatizations of elementary probability theory.

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

Authors: William K. Goosens

Cut-free systems for three-valued modal logics.

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

Authors: Mitio Takano

A logic for natural language.

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

Authors: William C. Purdy

The substitution interpretation and the expressive power of intensional logics.

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

Authors: James W. Garson

Implication and presupposition.

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

Authors: Robert J. Farrell

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

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

Authors: J.-J. Ch. Meyer