NP-Completeness of a Combinator Optimization Problem

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

Authors: M. S. Joy | V. J. Rayward-Smith

Worlds of Homogeneous Artifacts

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

Authors: Athanassios Tzouvaras

The Irrelevance of Distribution for the Syllogism

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

Authors: Wallace A. Murphree

Book Review: Ruth Barcan Marcus. Modalities

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

Authors: Graeme Forbes

Consequence and Confirmation

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

Authors: Hugues Leblanc | Peter Roeper

Set Theory with Indeterminacy of Identity

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

Authors: Terence Parsons | Peter Woodruff

Remarks on Structure Theorems for $omega_{1}$-Saturated Models

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

Authors: Tapani Hyttinen

Elementary Propositions and Independence

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

Authors: John L. Bell | William Demopoulos

Semantics for Two Second-Order Logical Systems: $equiv$RRC* and Cocchiarella's RRC*

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

Authors: Max A. Freund

The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic

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

Authors: Roman Murawski

Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth.

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

Authors: Aladdin M. Yaqūb

Another Characterization of Alephs: Decompositions of Hyperspace

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

Authors: John C. Simms

A Kripkean Approach to Unknowability and Truth

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

Authors: Leon Horsten

Natural Deduction Based upon Strict Implication for Normal Modal Logics

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

Authors: Claudio Cerrato

Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth.

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

Authors: Aladdin M. Yaqūb

Book review: S. Shelah. Classification theory and the number of non-isomorhic models.

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

Authors: Steven Buechler

Why Correspondence Truth Will Not Go Away

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

Authors: Gerald Vision

An Unclassifiable Unidimensional Theory without OTOP

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

Authors: Ambar Chowdhury | Bradd Hart

Reasoning with Sentences and Diagrams

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

Authors: Eric Hammer

The Complexity of Revision

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

Authors: Gian Aldo Antonelli