Duality and Completeness for US-Logics

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

Authors: Fabio Bellissima | Saverio Cittadini

Generalized Hardy fields in several variables.

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

Authors: Leonardo Pasini

A note on Conway multiplication of ordinals.

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

Authors: John Hickman

Model constructions in stationary logic. II. Definable ultrapowers.

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

Authors: Kim B. Bruce

On finite models of regular identities.

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

Authors: Józef Dudek | Andrzej Kisielewicz

The homogeneous form of logic programs with equality.

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

Authors: William Demopoulos

Pleasant ideals.

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

Authors: Christopher C. Leary

Argument deletion without events.

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

Authors: Paul R. Graves

${rm C}_1$ is not algebraizable.

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

Authors: R. A. Lewin | I. F. Mikenberg | M. G. Schwarze

Logical constants and the glory of truth-conditional semantics.

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

Authors: William G. Lycan

On propositional, truth and Boolean functions.

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

Authors: Tudor Ristea

Identity.

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

Authors: R. B. Redmon

Incomplete definite descriptions.

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

Authors: Scott Soames

A note on ${rm R}_{rightarrow}$ matrices.

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

Authors: Robert K. Meyer

The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to ${rm HP}$.

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

Authors: István Németi

L'axiome du choix.

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

Authors: Wacław Sierpiński

Objects and existence: reflections on free logic.

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

Authors: Richard L. Mendelsohn

A structurally complete fragment of relevant logic.

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

Authors: Robert K. Meyer | John K. Slaney

Post's functional completeness theorem.

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

Authors: Norman M. Martin | Francis Jeffry Pelletier

Notes on the mathematical aspects of Kripke's theory of truth.

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

Authors: Melvin Fitting