Relevance and paraconsistency---a new approach. III. Cut-free Gentzen-type systems.

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

Authors: Arnon Avron

Consequential implication. A correction to: ``Decision procedures for logics of consequential implication''.

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

Authors: Claudio Pizzi

Classes of universal decision elements using negative substitutions.

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

Authors: J. C. Muzio

On defining sentential connectives.

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

Authors: Joseph Jurcic

Referential occurrence.

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

Authors: David E. Cooper

Quantifier responsiveness.

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

Authors: Lawrence Powers

There are denumerably many ternary intuitionistic Sheffer functions.

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

Authors: Djordje Čubrić

The nonaxiomatizability of $L(Q^2_{aleph_1})$ by finitely many schemata.

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

Authors: Saharon Shelah | Charles Steinhorn

Petrus Fonseca and material implication.

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

Authors: E. J. Ashworth

Meaning and interpretation.

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

Authors: Michael Root | John Wallace

Simple implicational development.

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

Authors: Ivo Thomas

Modalities in vector logic.

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

Authors: Eduardo Mizraji

A theorem for deriving consequences of the axiom of choice.

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

Authors: Francis J. Tytus

Zermelo, reductionism, and the philosophy of mathematics.

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

Authors: R. Gregory Taylor

The difference model of voting.

JOURNAL ARTICLE published 1 September 1992 in Notre Dame Journal of Formal Logic

Authors: Sven Ove Hansson

Surface reasoning.

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

Authors: William C. Purdy

Characters and fixed-points in provability logic.

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

Authors: Zachary Gleit | Warren Goldfarb

On an implication connective of ${rm RM}$.

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

Authors: Arnon Avron

A generalization of the adequacy theorem for the quasi-senses.

JOURNAL ARTICLE published 1 September 1990 in Notre Dame Journal of Formal Logic

Authors: Cinzia Bonotto

Subcountability under realizability.

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

Authors: Charles McCarty