Facet browsing currently unavailable
Page 10 of 2720 results
Sort by: relevance publication year
Four-valued Logic JOURNAL ARTICLE published 1 July 2001 in Notre Dame Journal of Formal Logic |
Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic JOURNAL ARTICLE published 1 April 2005 in Notre Dame Journal of Formal Logic |
On Non-wellfounded Sets as Fixed Points of Substitutions JOURNAL ARTICLE published 1 January 2001 in Notre Dame Journal of Formal Logic |
Neat Embeddings, Omitting Types, and Interpolation: An Overview JOURNAL ARTICLE published 1 July 2003 in Notre Dame Journal of Formal Logic |
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas. JOURNAL ARTICLE published 1 September 1993 in Notre Dame Journal of Formal Logic |
Recursive Models and the Divisibility Poset JOURNAL ARTICLE published 1 January 1998 in Notre Dame Journal of Formal Logic |
The 3-Stratifiable Theorems of $mathit{NFU} infty$ JOURNAL ARTICLE published 1 April 1999 in Notre Dame Journal of Formal Logic |
Book Review: Stewart Shapiro. Foundations with foundationalism. JOURNAL ARTICLE published 1 June 1993 in Notre Dame Journal of Formal Logic |
Book Review: Raymond Bradley. The nature of all being: A study of Wittgenstein's modal atomism. JOURNAL ARTICLE published 1 December 1992 in Notre Dame Journal of Formal Logic |
Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973]. JOURNAL ARTICLE published 1 April 1980 in Notre Dame Journal of Formal Logic |
Saying It with Numerals JOURNAL ARTICLE published 1 January 1994 in Notre Dame Journal of Formal Logic |
A linearly ordered topological space that is not normal. JOURNAL ARTICLE published 1 January 1986 in Notre Dame Journal of Formal Logic |
Finite axiomatizability and theories with trivial algebraic closure. JOURNAL ARTICLE published 1 March 1991 in Notre Dame Journal of Formal Logic |
Book review: David H. Sanford. If P, then Q: Conditionals and the foundations of reasoning. JOURNAL ARTICLE published 1 March 1992 in Notre Dame Journal of Formal Logic |
Bounds in weak truth-table reducibility. JOURNAL ARTICLE published 1 March 1991 in Notre Dame Journal of Formal Logic |
Closed categories and categorical grammar. JOURNAL ARTICLE published 1 December 1992 in Notre Dame Journal of Formal Logic |
The structure of pleasant ideals. JOURNAL ARTICLE published 1 March 1994 in Notre Dame Journal of Formal Logic |
Varying modal theories. JOURNAL ARTICLE published 1 June 1990 in Notre Dame Journal of Formal Logic |
Alternative axiomatizations of elementary probability theory. JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic |
Cut-free systems for three-valued modal logics. JOURNAL ARTICLE published 1 June 1992 in Notre Dame Journal of Formal Logic |