Facet browsing currently unavailable
Page 3 of 2720 results
Sort by: relevance publication year
Henkin style completeness proofs in theories lacking negation. JOURNAL ARTICLE published 1 October 1971 in Notre Dame Journal of Formal Logic |
The strength of the $Delta$-system lemma. JOURNAL ARTICLE published 1 December 1992 in Notre Dame Journal of Formal Logic |
Unusual feature of $S3^ast$. JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic |
Two sets of perfect syllogisms. JOURNAL ARTICLE published 1 July 1973 in Notre Dame Journal of Formal Logic |
Squares of opposition: Comparisons between syllogistic and propositional logic. JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic |
Another system of natural deduction. JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic |
On creative definitions in first order functional calculi. JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic |
A rare accident. JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic |
The closing passage of Frege's ``Über Sinn und Bedeutung''. JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic |
Translation of the simple theory of types into a first order language. JOURNAL ARTICLE published 1 July 1974 in Notre Dame Journal of Formal Logic |
A mistake in Copi's discussion of completeness. JOURNAL ARTICLE published 1 October 1971 in Notre Dame Journal of Formal Logic |
Some mereological models. JOURNAL ARTICLE published 1 January 1974 in Notre Dame Journal of Formal Logic |
Solutions to four modal problems of Sobociński. JOURNAL ARTICLE published 1 July 1971 in Notre Dame Journal of Formal Logic |
A note on E. JOURNAL ARTICLE published 1 July 1972 in Notre Dame Journal of Formal Logic |
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi. JOURNAL ARTICLE published 1 January 1972 in Notre Dame Journal of Formal Logic |
Natural deduction rules for $S1^0-S4^0$. JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic |
The consistency of the axioms of abstraction and extensionality in a three-valued logic. JOURNAL ARTICLE published 1 October 1971 in Notre Dame Journal of Formal Logic |
Examination of the axiomatic foundations of a theory of change. IV. JOURNAL ARTICLE published 1 July 1971 in Notre Dame Journal of Formal Logic |
Unary predicates. JOURNAL ARTICLE published 1 October 1974 in Notre Dame Journal of Formal Logic |
A simple algebra of first order logic. JOURNAL ARTICLE published 1 July 1973 in Notre Dame Journal of Formal Logic |