Facet browsing currently unavailable
Page 4 of 2716 results
Sort by: relevance publication year
On closed elementary cuts in recursively saturated models of Peano arithmetic. JOURNAL ARTICLE published 1 March 1993 in Notre Dame Journal of Formal Logic |
Facts and the choice of logical foundations. JOURNAL ARTICLE published 1 October 1984 in Notre Dame Journal of Formal Logic |
Independence in higher-order subclassical logic. JOURNAL ARTICLE published 1 October 1985 in Notre Dame Journal of Formal Logic |
Burgess on relevance: a fallacy indeed. JOURNAL ARTICLE published 1 October 1983 in Notre Dame Journal of Formal Logic |
On the extension of S4 with $CLMpMLp$. JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic |
Alternative completeness theorems for modal systems. JOURNAL ARTICLE published 1 October 1967 in Notre Dame Journal of Formal Logic |
The role of ``Conceptual role semantics'': comments on Harman's paper. JOURNAL ARTICLE published 1 July 1982 in Notre Dame Journal of Formal Logic |
Some proofs of relative completeness in modal logic. JOURNAL ARTICLE published 1 January 1968 in Notre Dame Journal of Formal Logic |
Stationary logic and its friends. II. JOURNAL ARTICLE published 1 January 1986 in Notre Dame Journal of Formal Logic |
Approximate truth and Ł ukasiewicz logic. JOURNAL ARTICLE published 1 March 1988 in Notre Dame Journal of Formal Logic |
Two thought experiments reviewed: comments on J. A. Fodor's paper: ``Cognitive science and the twin-Earth problem''. JOURNAL ARTICLE published 1 July 1982 in Notre Dame Journal of Formal Logic |
Incompactness in regular cardinals. JOURNAL ARTICLE published 1 July 1985 in Notre Dame Journal of Formal Logic |
Second order and higher order universal decision elements in $m$-valued logic. JOURNAL ARTICLE published 1 April 1977 in Notre Dame Journal of Formal Logic |
Scott's models and illative combinatory logic. JOURNAL ARTICLE published 1 July 1979 in Notre Dame Journal of Formal Logic |
Monadic $Pi^1_1$-theories of $Pi_1^1$}-properties. JOURNAL ARTICLE published 1 March 1989 in Notre Dame Journal of Formal Logic |
Substitutions for predicate variables and functional variables. JOURNAL ARTICLE published 1 January 1980 in Notre Dame Journal of Formal Logic |
Semantic intentions and linguistic structure: comments on Schiffer's paper: ``Intention-based semantics''. JOURNAL ARTICLE published 1 July 1982 in Notre Dame Journal of Formal Logic |
Non-definability of certain semantic properties of programs. JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic |
New axioms for mereology. JOURNAL ARTICLE published 1 October 1985 in Notre Dame Journal of Formal Logic |
Isomorphism types of the hyperarithmetic sets ${bf H}_a$. JOURNAL ARTICLE published 1 January 1978 in Notre Dame Journal of Formal Logic |