Sémantique des formules logiques en forme d'équivalence $n$-aire (demi-modèles).

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

Authors: Metoděj K. Chytil

Significance range theory.

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

Authors: Ross T. Brady

Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem

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

Authors: Stephen Pollard

Book Review: Shaughan Lavine. Understanding the Infinite

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

Authors: Colin McLarty

Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

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

Authors: S. V. Bhave

Grundgesetze der Arithmetik I §§29‒32

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

Authors: Richard G. Heck

Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions

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

Authors: Andreja Prijatelj

Combining Algebraizable Logics

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

Authors: Á. E. Eiben | A. Jánossy | Á. Kurucz

Some Results on Numeral Systems in $lambda$-Calculus

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

Authors: Benedetto Intrigila

Subsystems of Quine's ``New Foundations'' with Predicativity Restrictions

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

Authors: M. Randall Holmes

Dependent Choices and Weak Compactness

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

Authors: Christian Delhommé | Marianne Morillon

Deissler Rank Complexity of Powers of Indecomposable Injective Modules

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

Authors: R. Chartrand | T. Kucera

Is There a Modal Syllogistic?

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

Authors: Adriane A. Rini

Antifoundation and Transitive Closure in the System of Zermelo

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

Authors: Olivier Esser | Roland Hinnion

Idempotent Full Paraconsistent Negations are not Algebraizable

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

Authors: Jean-Yves Béziau

Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic

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

Authors: Roland Hinnion

An Algebraic Theory of Structured Objects

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

Authors: Chrysafis Hartonas

Contractions of Closure Systems

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

Authors: Norman M. Martin | Stephen Pollard

Truth and the Liar in De Morgan-Valued Models

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

Authors: Hannes Leitgeb

Levels of Truth

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

Authors: Andrea Cantini