A reconstruction of formal logic.

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

Authors: George Goe

The pragmatics of truth functions.

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

Authors: Lucio Chiaraviglio | Albert M. Sweet

L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité.

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

Authors: Eugen Mihăilescu

A paradox in illative combinatory logic.

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

Authors: M. W. Bunder

Final word on a shortest implicational axiom.

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

Authors: Ivo Thomas

The completeness of Copi's system of natural deduction.

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

Authors: John A. Winnie

The rule of excision in positive implication.

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

Authors: Ivo Thomas

On explanation of number progression.

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

Authors: Chung-ying Chang

Leśniewski's analysis of Whitehead's theory of events.

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

Authors: Vito F. Sinisi

Logical continuity.

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

Authors: Hugh S. Chandler

Generalized Halfspaces in the Mixed-Integer Realm

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

Authors: Philip Scowcroft

A detailed argument for the Post-Linial theorems.

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

Authors: Mary Katherine Yntema

A note on the structure of the power set.

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

Authors: G. F. Schumm

On some recent criticism of Church's Thesis.

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

Authors: Elliott Mendelson

Solutions of five modal problems of Sobociński.

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

Authors: Ivo Thomas

Topological geometries and a new characterization of $R^m$.

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

Authors: Michael C. Gemignani

Axiomatisations of the modal calculus $Q$.

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

Authors: A. N. Prior

Logical and historical remarks on Saccheri's geometry.

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

Authors: Alberto M. Dou

On the connection of the first-order functional calculus with many-valued propositional calculi.

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

Authors: Juliusz Reichbach

The binary representation of $m$-valued logic with applications to universal decision elements.

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

Authors: John Loader