Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 7 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 7 · NO. 4 | 1966
 
VIEW ALL ABSTRACTS +
Articles
In memoriam: Evert Willem Beth (1909--1964).
Arend Heyting
Notre Dame J. Formal Logic 7 (4), 289-295, (1966) DOI: 10.1305/ndjfl/1093958744 Open Access
KEYWORDS: 02.00
No abstract available
DOWNLOAD PAPER
A note on Halldén-incompleteness.
E. J. Lemmon
Notre Dame J. Formal Logic 7 (4), 296-300, (1966) DOI: 10.1305/ndjfl/1093958745 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
C. S. S. Peirce and E. G. A. Husserl on the nature of logic.
Albert A. Mullin
Notre Dame J. Formal Logic 7 (4), 301-304, (1966) DOI: 10.1305/ndjfl/1093958746 Open Access
KEYWORDS: 02.00, 01.00
No abstract available
DOWNLOAD PAPER
On general purpose unifying automata.
D. L. Székely
Notre Dame J. Formal Logic 7 (4), 305-322, (1966) DOI: 10.1305/ndjfl/1093958747 Open Access
No abstract available
DOWNLOAD PAPER
Leśniewski's analysis of Whitehead's theory of events.
Vito F. Sinisi
Notre Dame J. Formal Logic 7 (4), 323-327, (1966) DOI: 10.1305/ndjfl/1093958748 Open Access
No abstract available
DOWNLOAD PAPER
The syntax of projective geometry.
Woodrow Jaffee
Notre Dame J. Formal Logic 7 (4), 328-332, (1966) DOI: 10.1305/ndjfl/1093958749 Open Access
KEYWORDS: 50.70
No abstract available
DOWNLOAD PAPER
The Menger algebras of $2$-place functions in the $2$-valued logic.
Philip Calabrese
Notre Dame J. Formal Logic 7 (4), 333-340, (1966) DOI: 10.1305/ndjfl/1093958750 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
The irreducible generating sets of $2$-place functions in the $2$-valued logic.
Helen L. Skala
Notre Dame J. Formal Logic 7 (4), 341-343, (1966) DOI: 10.1305/ndjfl/1093958751 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Single axiom schemata for $D$ and $S$.
Thomas W. Scharle
Notre Dame J. Formal Logic 7 (4), 344-348, (1966) DOI: 10.1305/ndjfl/1093958752 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
A property of sentences that define quasi-order.
Melven R. Krom
Notre Dame J. Formal Logic 7 (4), 349-352, (1966) DOI: 10.1305/ndjfl/1093958753 Open Access
KEYWORDS: 02.50
No abstract available
DOWNLOAD PAPER
A propositional calculus intermediate between the minimal calculus and the classical.
Charles Parsons
Notre Dame J. Formal Logic 7 (4), 353-358, (1966) DOI: 10.1305/ndjfl/1093958754 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
On the definition of mereological class.
Robert E. Clay
Notre Dame J. Formal Logic 7 (4), 359-360, (1966) DOI: 10.1305/ndjfl/1093958755 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Leśniewski's ontology and some medieval logicians.
John Trentman
Notre Dame J. Formal Logic 7 (4), 361-364, (1966) DOI: 10.1305/ndjfl/1093958756 Open Access
KEYWORDS: 02.20, 01.00
No abstract available
DOWNLOAD PAPER
On eliminating an unwanted axiom in the characterization of $R^m$ using topological geometries.
Michael C. Gemignani
Notre Dame J. Formal Logic 7 (4), 365-366, (1966) DOI: 10.1305/ndjfl/1093958757 Open Access
KEYWORDS: 50.05
No abstract available
DOWNLOAD PAPER
A note on ${\rm Bd}\,X$.
Michael C. Gemignani
Notre Dame J. Formal Logic 7 (4), 367-368, (1966) DOI: 10.1305/ndjfl/1093958758 Open Access
KEYWORDS: 50.05
No abstract available
DOWNLOAD PAPER
Note on Frege's Begriffsschrift.
Ignacio Angelelli, Terrell Ward Bynum
Notre Dame J. Formal Logic 7 (4), 369-370, (1966) DOI: 10.1305/ndjfl/1093958759 Open Access
KEYWORDS: 02.00
No abstract available
DOWNLOAD PAPER
Back to Top