Definitional Boolean calculi.

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

Authors: Richard Cole

A remark on continuous selectors.

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

Authors: Henryk Fast

A preliminary report on the theory of unification of sciences and its concept transforming automation.

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

Authors: D. L. Székely

Remarks on the W. C. Nemitz's paper ``Semi-Boolean lattices''.

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

Authors: Tibor Katriňák

Affine geometry having a solid as primitive.

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

Authors: Theodore F. Sullivan

A note on a problem concerning the axiomatic foundations of mereology.

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

Authors: Czesław Lejewski

Modal systems in which necessity is ``factorable''.

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

Authors: J. Jay Zeman

Weak forms of the axiom of constructibility.

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

Authors: Richard L. Poss

Relations irreducible to classes.

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

Authors: F. G. Asenjo

An Anselmian regress.

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

Authors: Desmond Paul Henry

Duality in finite many-valued logic.

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

Authors: Rangaswamy V. Setlur

A system of modality.

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

Authors: Louis F. Goble

A semi-completeness theorem.

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

Authors: Stephen L. Bloom

Completeness of the generalized propositional calculus.

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

Authors: Alexander Abian

Certain extensions of modal system $S4$.

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

Authors: Bolesław Sobociński

A standardization theorem for strong reduction.

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

Authors: Kenneth Loewen

Generalized reals.

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

Authors: F. G. Asenjo

An axiom-system for ${K;,N}$-propositional calculus related to Simons' axiomatization of ${rm S}3$.

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

Authors: Bolesław Sobociński

Systems classically axiomatized and properly contained in Lewis's ${rm S}3$.

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

Authors: John Thomas Canty

On some open questions of B. Sobociński.

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

Authors: G. F. Schumm