Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 18 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 18 · NO. 2 | April 1977
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 18, issue 2 (1977)
Notre Dame J. Formal Logic 18 (2), (April 1977) Open Access
No abstract available
DOWNLOAD PAPER
Articles
In memoriam: Ivo Thomas (1912--1976).
Otto Bird
Notre Dame J. Formal Logic 18 (2), 193-194, (April 1977) DOI: 10.1305/ndjfl/1093887921 Open Access
KEYWORDS: 01A70
No abstract available
DOWNLOAD PAPER
Bibliography of Ivo Thomas.
Deirdre La Porte
Notre Dame J. Formal Logic 18 (2), 195-207, (April 1977) DOI: 10.1305/ndjfl/1093887922 Open Access
KEYWORDS: 01A70
No abstract available
DOWNLOAD PAPER
The modal predicate logics ${\bf PF}^*{\bf F}$.
Robert L. Wilson
Notre Dame J. Formal Logic 18 (2), 208-220, (April 1977) DOI: 10.1305/ndjfl/1093887923 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Metalogical incompatibilities in the formal description of Buddhist logic (Nyāya).
Douglas Dunsmore Daye
Notre Dame J. Formal Logic 18 (2), 221-231, (April 1977) DOI: 10.1305/ndjfl/1093887924 Open Access
KEYWORDS: 02-03, 01A25, 02A05
No abstract available
DOWNLOAD PAPER
An early fifteenth century discussion of infinite sets.
E. J. Ashworth
Notre Dame J. Formal Logic 18 (2), 232-234, (April 1977) DOI: 10.1305/ndjfl/1093887925 Open Access
KEYWORDS: 04-03, 01A35
No abstract available
DOWNLOAD PAPER
Ł ukasiewicz, Leibniz and the arithmetization of the syllogism.
David Marshall Jr.
Notre Dame J. Formal Logic 18 (2), 235-242, (April 1977) DOI: 10.1305/ndjfl/1093887926 Open Access
KEYWORDS: 02-03, 01A45, 01A60, 02A05
No abstract available
DOWNLOAD PAPER
Generalizing König's infinity lemma.
Robert H. Cowen
Notre Dame J. Formal Logic 18 (2), 243-247, (April 1977) DOI: 10.1305/ndjfl/1093887927 Open Access
KEYWORDS: 05C05, 04A20
No abstract available
DOWNLOAD PAPER
Incomplete translations of complete logics.
Stewart Shapiro
Notre Dame J. Formal Logic 18 (2), 248-250, (April 1977) DOI: 10.1305/ndjfl/1093887928 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
On Yablonskii theory concerning functional completeness of $k$-valued logic.
Kanzo Hino
Notre Dame J. Formal Logic 18 (2), 251-254, (April 1977) DOI: 10.1305/ndjfl/1093887929 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Simplified formalizations of fragments of the propositional calculus.
Alan Rose
Notre Dame J. Formal Logic 18 (2), 255-261, (April 1977) DOI: 10.1305/ndjfl/1093887930 Open Access
KEYWORDS: 02B05, 02G10
No abstract available
DOWNLOAD PAPER
An answer to Armstrong's question about incompleteness in Copi: ``A question about incompleteness''.
Paul J. Campbell
Notre Dame J. Formal Logic 18 (2), 262-264, (April 1977) DOI: 10.1305/ndjfl/1093887931 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
Recursive and recursively enumerable manifolds. I.
Vladeta Vučković
Notre Dame J. Formal Logic 18 (2), 265-291, (April 1977) DOI: 10.1305/ndjfl/1093887932 Open Access
KEYWORDS: 02F25
No abstract available
DOWNLOAD PAPER
A tableau system for propositional S5.
Melvin Fitting
Notre Dame J. Formal Logic 18 (2), 292-294, (April 1977) DOI: 10.1305/ndjfl/1093887933 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Two notes on recursively enumerable vector spaces.
Richard Guhl
Notre Dame J. Formal Logic 18 (2), 295-298, (April 1977) DOI: 10.1305/ndjfl/1093887934 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
Infinite series of regressive isols under addition.
Judith L. Gersting
Notre Dame J. Formal Logic 18 (2), 299-304, (April 1977) DOI: 10.1305/ndjfl/1093887935 Open Access
KEYWORDS: 02F40
No abstract available
DOWNLOAD PAPER
The one-one equivalence of some general combinatorial decision problems.
Charles E. Hughes, W. E. Singletary
Notre Dame J. Formal Logic 18 (2), 305-309, (April 1977) DOI: 10.1305/ndjfl/1093887936 Open Access
KEYWORDS: 02F50, 02G05
No abstract available
DOWNLOAD PAPER
Binary consistent choice on triples.
Robert H. Cowen
Notre Dame J. Formal Logic 18 (2), 310-312, (April 1977) DOI: 10.1305/ndjfl/1093887937 Open Access
KEYWORDS: 02K20
No abstract available
DOWNLOAD PAPER
Second order and higher order universal decision elements in $m$-valued logic.
John Loader
Notre Dame J. Formal Logic 18 (2), 313-317, (April 1977) DOI: 10.1305/ndjfl/1093887938 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Independent necessary conditions for functional completeness in $m$-valued logic.
Yale N. Patt
Notre Dame J. Formal Logic 18 (2), 318-320, (April 1977) DOI: 10.1305/ndjfl/1093887939 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 18, issue 2 (1977)
Notre Dame J. Formal Logic 18 (2), (April 1977) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top