Facet browsing currently unavailable
Page 4 of 2720 results
Sort by: relevance publication year
A note on Kripke's distinction between rigid designators and nonrigid designators. JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic |
Modal Logics That Need Very Large Frames JOURNAL ARTICLE published 1 April 1999 in Notre Dame Journal of Formal Logic |
Book Review: Grzegorz Malinowski Many-Valued Logics JOURNAL ARTICLE published 1 July 1994 in Notre Dame Journal of Formal Logic |
Ontology in the Tractatus of L. Wittgenstein. JOURNAL ARTICLE published 1 January 1968 in Notre Dame Journal of Formal Logic |
A note on Philip Kitcher's analysis of mathematical truth. JOURNAL ARTICLE published 1 December 1991 in Notre Dame Journal of Formal Logic |
The ancestral relation without classes. JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic |
The extended calculus of indications interpreted as a three-valued logic. JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic |
A strengthening of Scott's ${rm ZF}^{not=}$ result. JOURNAL ARTICLE published 1 June 1990 in Notre Dame Journal of Formal Logic |
Unifying some modifications of the Henkin construction. JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic |
On an unsound proof of the existence of possible worlds. JOURNAL ARTICLE published 1 September 1989 in Notre Dame Journal of Formal Logic |
On the nonaxiomatizability of some logics by finitely many schemas. JOURNAL ARTICLE published 1 January 1986 in Notre Dame Journal of Formal Logic |
Unneeded surgery on Aristotle's Prior analytics. JOURNAL ARTICLE published 1 October 1984 in Notre Dame Journal of Formal Logic |
Number system for the immediate inferences and the syllogism in Aristotelian logic. JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic |
Strong normalization for typed terms with surjective pairing. JOURNAL ARTICLE published 1 October 1986 in Notre Dame Journal of Formal Logic |
Syntactically free, semantically bound. A note on variables. JOURNAL ARTICLE published 1 April 1968 in Notre Dame Journal of Formal Logic |
Syllogisms with reduplication in Aristotle. JOURNAL ARTICLE published 1 October 1982 in Notre Dame Journal of Formal Logic |
A note on arbitrarily complex recursive functions. JOURNAL ARTICLE published 1 March 1988 in Notre Dame Journal of Formal Logic |
Real reduced models for relevant logics without ${rm WI}$. JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic |
An Intensional Schrödinger Logic JOURNAL ARTICLE published 1 April 1997 in Notre Dame Journal of Formal Logic |
Introduction to Life, Art, and Mysticism JOURNAL ARTICLE published 1 July 1996 in Notre Dame Journal of Formal Logic |