Reduction and Tarski's Definition of Logical Consequence

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

Authors: Jim Edwards

On Ideals Related to I[λ]

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

Authors: Todd Eisworth

Maximality and Refutability

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

Authors: Tom Skura

An extension of Venn diagrams.

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

Authors: Gerald J. Massey

On prosleptic syllogisms.

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

Authors: Czesław Lejewski

A Deontic Counterpart of Lewis's S1

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

Authors: R. E. Jennings | Kam Sing Leung

On general purpose unifying automata.

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

Authors: D. L. Székely

Note on Frege's Begriffsschrift.

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

Authors: Ignacio Angelelli | Terrell Ward Bynum

A note on ${rm Bd},X$.

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

Authors: Michael C. Gemignani

The determination of all Sheffer functions in $3$-valued logic, using a logical computer.

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

Authors: Eric Foxley

The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice.

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

Authors: William J. Frascella

In memoriam A. N. Prior (1914--1969).

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

Authors: Ivo Thomas

On induction.

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

Authors: Rolf Schock

Propositional sequence-calculi for inconsistent systems.

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

Authors: Andrés R. Raggio

In memoriam: Clarence Irving Lewis (1883--1964).

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

Authors: William Tuthill Parry

A theorem on maximal sets.

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

Authors: Joseph S. Ullian

On the connection of the first-order functional calculus with $aleph_0}$ propositional calculus.

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

Authors: Juliusz Reichbach

A theory of categorical syllogism.

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

Authors: Setsuo Saito

Logical consequence in modal logic: Natural deduction in ${rm S}5$.

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

Authors: John Corcoran | George Weaver

The Gödel theorem.

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

Authors: Norwood Russell Hanson