A tableau style proof system for two paraconsistent logics.

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

Authors: Anthony Bloesch

Trees and finite satisfiability: proof of a conjecture of Burgess.

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

Authors: George Boolos

Minimally incomplete sets of Ł ukasiewiczian truth functions.

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

Authors: Herbert E. Hendry

Logical form and radical interpretation.

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

Authors: Tim McCarthy

$alpha$-naming and $alpha$-speedup theorems.

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

Authors: Barry E. Jacobs

An alternative semantics for knowledge.

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

Authors: Gregory Mellema

Recursively saturated models generated by indiscernibles.

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

Authors: James H. Schmerl

Fifty years of self-reference in arithmetic.

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

Authors: C. Smoryński

A property which guarantees termination in weak combinatory logic and subtree replacement systems.

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

Authors: Alberto Pettorossi

Halldén-completeness by gluing of Kripke frames.

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

Authors: I. L. Humberstone | J. F. A. K. van Benthem

Semantical analysis of superrelevant predicate logics with quantification.

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

Authors: Mirosław Szatkowski

End extensions of models of arithmetic.

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

Authors: James H. Schmerl

Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.

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

Authors: Kosta Došen

Completeness without the Barcan formula.

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

Authors: M. J. Cresswell

Eventual periodicity and ``one-dimensional'' queries.

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

Authors: Gregory L. McColm

Regressive functions and combinatorial functions.

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

Authors: Carl E. Bredlau

Pointwise definable substructures of models of Peano arithmetic.

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

Authors: Roman Murawski

Formatives.

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

Authors: George Englebretsen

Remarks on Frege's conception of inference.

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

Authors: Gregory Currie

On G. Spencer Brown's laws of form.

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

Authors: B. Banaschewski