Facet browsing currently unavailable
Page 10 of 2720 results
Sort by: relevance publication year
In memoriam A. N. Prior (1914--1969). JOURNAL ARTICLE published 1 April 1971 in Notre Dame Journal of Formal Logic |
On induction. JOURNAL ARTICLE published 1 January 1965 in Notre Dame Journal of Formal Logic |
Propositional sequence-calculi for inconsistent systems. JOURNAL ARTICLE published 1 October 1968 in Notre Dame Journal of Formal Logic |
In memoriam: Clarence Irving Lewis (1883--1964). JOURNAL ARTICLE published 1 April 1970 in Notre Dame Journal of Formal Logic |
A theorem on maximal sets. JOURNAL ARTICLE published 1 January 1961 in Notre Dame Journal of Formal Logic |
On the connection of the first-order functional calculus with $aleph_0}$ propositional calculus. JOURNAL ARTICLE published 1 January 1965 in Notre Dame Journal of Formal Logic |
A theory of categorical syllogism. JOURNAL ARTICLE published 1 July 1969 in Notre Dame Journal of Formal Logic |
Logical consequence in modal logic: Natural deduction in ${rm S}5$. JOURNAL ARTICLE published 1 October 1969 in Notre Dame Journal of Formal Logic |
The Gödel theorem. JOURNAL ARTICLE published 1 January 1961 in Notre Dame Journal of Formal Logic |
A note on theses of the first-order functional calculus. JOURNAL ARTICLE published 1 October 1968 in Notre Dame Journal of Formal Logic |
Ein nichtkonstruktiver Beweis des ersten $varepsilon$-theorems. JOURNAL ARTICLE published 1 July 1970 in Notre Dame Journal of Formal Logic |
On the infinity of positive logic. JOURNAL ARTICLE published 1 January 1962 in Notre Dame Journal of Formal Logic |
Finite model property for five modal calculi in the neighbourhood of $S3$. JOURNAL ARTICLE published 1 January 1971 in Notre Dame Journal of Formal Logic |
A rule-completeness theorem. JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic |
Measurable cardinals and constructibility without regularity. JOURNAL ARTICLE published 1 July 1971 in Notre Dame Journal of Formal Logic |
Expressibility in type theory. JOURNAL ARTICLE published 1 July 1970 in Notre Dame Journal of Formal Logic |
Three-valued propositional fragments with classical implication. JOURNAL ARTICLE published 1 April 1967 in Notre Dame Journal of Formal Logic |
Some theorems on the structure of mutant sets and their applications to group and ring theories. JOURNAL ARTICLE published 1 January 1962 in Notre Dame Journal of Formal Logic |
A standard form for Ł ukasiewicz many-valued logics. JOURNAL ARTICLE published 1 January 1963 in Notre Dame Journal of Formal Logic |
Modified strong reduction in combinatory logic. JOURNAL ARTICLE published 1 July 1968 in Notre Dame Journal of Formal Logic |