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 |
Next $P$ admissible sets are of cofinality $omega$. JOURNAL ARTICLE published 1 January 1977 in Notre Dame Journal of Formal Logic |
Gödel's proof and the liar paradox. JOURNAL ARTICLE published 1 July 1979 in Notre Dame Journal of Formal Logic |
Rudiments of a theory of reference. JOURNAL ARTICLE published 1 April 1987 in Notre Dame Journal of Formal Logic |
A simple defense of material implication. JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic |
A refoundation of modal logic. JOURNAL ARTICLE published 1 July 1977 in Notre Dame Journal of Formal Logic |
Local and global operators and many-valued modal logics. JOURNAL ARTICLE published 1 April 1979 in Notre Dame Journal of Formal Logic |
A system of predicate logic with transatomic units. JOURNAL ARTICLE published 1 July 1987 in Notre Dame Journal of Formal Logic |
The syntax of projective geometry. JOURNAL ARTICLE published 1 January 1966 in Notre Dame Journal of Formal Logic |
Note on the mortality problem for shift state trees. JOURNAL ARTICLE published 1 July 1969 in Notre Dame Journal of Formal Logic |
Leśniewski's ontology and some medieval logicians. JOURNAL ARTICLE published 1 July 1969 in Notre Dame Journal of Formal Logic |
Studies in the axiomatic foundations of Boolean algebra. I. JOURNAL ARTICLE published 1 January 1960 in Notre Dame Journal of Formal Logic |
The numerical epsilon. JOURNAL ARTICLE published 1 January 1969 in Notre Dame Journal of Formal Logic |
Über Intensionen und Modalitäten. JOURNAL ARTICLE published 1 October 1970 in Notre Dame Journal of Formal Logic |
Binary closure-algebraic operations that are functionally complete. JOURNAL ARTICLE published 1 July 1970 in Notre Dame Journal of Formal Logic |
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 |
Conditionally-restricted operations. JOURNAL ARTICLE published 1 January 1961 in Notre Dame Journal of Formal Logic |
Referential involvements of number words. JOURNAL ARTICLE published 1 October 1970 in Notre Dame Journal of Formal Logic |
Every functionally complete $m$-valued logic has a Post-complete axiomatization. JOURNAL ARTICLE published 1 January 1970 in Notre Dame Journal of Formal Logic |
A propositional calculus intermediate between the minimal calculus and the classical. JOURNAL ARTICLE published 1 January 1966 in Notre Dame Journal of Formal Logic |