Consistent, independent, and distinct propositions. II.

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

Authors: Anjan Shukla

A complete classification of three-place functors in two-valued logic.

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

Authors: J. C. Muzio

Shortest single axioms for the classical equivalential calculus.

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

Authors: Jeremy George Peterson

Cantor-Bendixson spectra of $omega$-stable theories.

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

Authors: Carlo Toffalori

A formal interpretation of Ł ukasiewicz' logics.

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

Authors: Michael Byrd

A second deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.

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

Authors: Stanley J. Krolikoski

Do we need quantification?

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

Authors: Philip Hugly | Charles Sayward

Survey of generalizations of Urquhart semantics.

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

Authors: R. A. Bull

Fitch-style rules for many modal logics.

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

Authors: David F. Siemens

In memoriam: Carew Arthur Meredith (1904--1976).

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

Authors: David Meredith

Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.

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

Authors: Luisa Iturrioz

Location of some modal systems.

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

Authors: K. E. Pledger

The principle of the division into four figures in traditional logic.

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

Authors: Demetrius J. Hadgopoulos

Are we finite?

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

Authors: G. White

$aleph_0$-categoricity over a predicate.

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

Authors: Anand Pillay

Intension, designation, and extension.

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

Authors: Garrel Pottinger

The approaches to set theory.

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

Authors: John Lake

Aristotle's syllogistic.

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

Authors: Paul Thom

Inconsistent number systems.

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

Authors: Chris Mortensen

Additional extensions of ${rm S}4$.

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

Authors: G. N. Georgacarakos