Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 2720 results
Sort by: relevance publication year

Postscript: ``A note concerning the notion of mereological class''.

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

Authors: Czesław Lejewski

Next $P$ admissible sets are of cofinality $omega$.

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

Authors: Judy Green

Gödel's proof and the liar paradox.

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

Authors: Jill Humphries

Rudiments of a theory of reference.

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

Authors: Christopher S. Hill

A simple defense of material implication.

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

Authors: Lee C. Archie

A refoundation of modal logic.

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

Authors: Graham Priest

Local and global operators and many-valued modal logics.

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

Authors: Charles G. Morgan

A system of predicate logic with transatomic units.

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

Authors: Richard Butrick

The syntax of projective geometry.

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

Authors: Woodrow Jaffee

Note on the mortality problem for shift state trees.

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

Authors: Michael Anderson

Leśniewski's ontology and some medieval logicians.

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

Authors: Desmond Paul Henry

Studies in the axiomatic foundations of Boolean algebra. I.

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

Authors: Czesław Lejewski

The numerical epsilon.

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

Authors: John Thomas Canty

Über Intensionen und Modalitäten.

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

Authors: Wilhelm K. Essler

Binary closure-algebraic operations that are functionally complete.

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

Authors: Gerald J. Massey

On eliminating an unwanted axiom in the characterization of $R^m$ using topological geometries.

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

Authors: Michael C. Gemignani

Conditionally-restricted operations.

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

Authors: J. L. Mackie

Referential involvements of number words.

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

Authors: Chung-ying Cheng

Every functionally complete $m$-valued logic has a Post-complete axiomatization.

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

Authors: Nuel D. Belnap | Storrs McCall

A propositional calculus intermediate between the minimal calculus and the classical.

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

Authors: Charles Parsons