A shorter proof of a recent result by R. Di Paola.

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

Authors: Claudio Bernardi

Commutativity and self-reference.

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

Authors: C. Smoryński

A smart child of Peano's.

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

Authors: V. Yu. Shavrukov

Preliminary notes on a new modal syllogistic.

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

Authors: George Englebretsen

KM and the finite model property.

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

Authors: M. J. Cresswell

On the equivalence between the calculi ${rm MC}^nu$ and ${rm EC}^{nu+1}$ of A. Bressan.

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

Authors: Alberto Zanardo

A completeness theorem for dynamic logic.

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

Authors: László Csirmaz

Epistemic semantics for classical and intuitionistic logic.

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

Authors: John N. Martin

On Ramsey's theorem and the axiom of choice.

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

Authors: Gabriele Lolli

A note on Peirce on Boole's algebra of logic.

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

Authors: Emily Michael

Modal interpretations of three-valued logics. I.

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

Authors: Michael J. Duffy

Normal implications, bounded posets, and the existence of meets.

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

Authors: J. Jay Zeman

$1$-consistency and the diamond.

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

Authors: George Boolos

Constructively nonpartial recursive functions.

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

Authors: Bruce M. Horowitz

Eternal existence and necessary existence.

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

Authors: William G. Lycan

Nonstandard propositional logics and their application to complexity theory.

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

Authors: Michael Evangelist

Equational two axiom bases for Boolean algebras and some other lattice theories.

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

Authors: Bolesław Sobociński

On the equivalence of systems of rules and systems of axioms in illative combinatory logic.

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

Authors: M. W. Bunder

A model theoretic proof of Feferman's preservation theorem.

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

Authors: David Marker

Generalizing König's infinity lemma.

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

Authors: Robert H. Cowen