Right-divisive groups.

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

Authors: W. A. Verloren van Themaat

Henkin style completeness proofs in theories lacking negation.

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

Authors: John L. Pollock

The strength of the $Delta$-system lemma.

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

Authors: Paul Howard | Jeffrey Solski

Unusual feature of $S3^ast$.

JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic

Authors: Ivo Thomas

Two sets of perfect syllogisms.

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

Authors: Anne Lehman

Squares of opposition: Comparisons between syllogistic and propositional logic.

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

Authors: Colwyn Williamson

Another system of natural deduction.

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

Authors: Herbert E. Hendry

On creative definitions in first order functional calculi.

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

Authors: V. Frederick Rickey

A rare accident.

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

Authors: Wolfgang Lenzen

The closing passage of Frege's ``Über Sinn und Bedeutung''.

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

Authors: Ronald E. Nusenoff

Translation of the simple theory of types into a first order language.

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

Authors: H. Julian Wadleigh

A mistake in Copi's discussion of completeness.

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

Authors: W. C. Wilcox

Some mereological models.

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

Authors: Robert E. Clay

Solutions to four modal problems of Sobociński.

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

Authors: G. F. Schumm

A note on E.

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

Authors: Aleksandar Kron

On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.

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

Authors: D. Bollman | M. Tapia

Natural deduction rules for $S1^0-S4^0$.

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

Authors: Thomas W. Satre

The consistency of the axioms of abstraction and extensionality in a three-valued logic.

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

Authors: Ross T. Brady

Examination of the axiomatic foundations of a theory of change. IV.

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

Authors: Laurent Larouche

Unary predicates.

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

Authors: James Andrew Fulton