Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 11 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 11 · NO. 4 | October 1970
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 11, issue 4 (1970)
Notre Dame J. Formal Logic 11 (4), (October 1970) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Logical and historical remarks on Saccheri's geometry.
Alberto M. Dou
Notre Dame J. Formal Logic 11 (4), 385-415, (October 1970) DOI: 10.1305/ndjfl/1093894070 Open Access
KEYWORDS: 01A50, 50D99
No abstract available
DOWNLOAD PAPER
Über Intensionen und Modalitäten.
Wilhelm K. Essler
Notre Dame J. Formal Logic 11 (4), 416-424, (October 1970) DOI: 10.1305/ndjfl/1093894071 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Remarks on the W. C. Nemitz's paper ``Semi-Boolean lattices''.
Tibor Katriňák
Notre Dame J. Formal Logic 11 (4), 425-430, (October 1970) DOI: 10.1305/ndjfl/1093894072 Open Access
KEYWORDS: 02J05
No abstract available
DOWNLOAD PAPER
Context logic. I. Fundamental concepts, notations, and derived notions.
John Christopher Kotelly
Notre Dame J. Formal Logic 11 (4), 431-446, (October 1970) DOI: 10.1305/ndjfl/1093894073 Open Access
KEYWORDS: 08A20, 92A25
No abstract available
DOWNLOAD PAPER
Polynomials with computable coefficients.
R. L. Goodstein
Notre Dame J. Formal Logic 11 (4), 447-448, (October 1970) DOI: 10.1305/ndjfl/1093894074 Open Access
KEYWORDS: 02.72, 30.00
No abstract available
DOWNLOAD PAPER
Completeness of the generalized propositional calculus.
Alexander Abian
Notre Dame J. Formal Logic 11 (4), 449-452, (October 1970) DOI: 10.1305/ndjfl/1093894075 Open Access
KEYWORDS: 02K20, 02J05
No abstract available
DOWNLOAD PAPER
Les algèbres de Heyting et de Lukasiewicz trivalentes.
Luiz Monteiro
Notre Dame J. Formal Logic 11 (4), 453-466, (October 1970) DOI: 10.1305/ndjfl/1093894076 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
A paradox in illative combinatory logic.
M. W. Bunder
Notre Dame J. Formal Logic 11 (4), 467-470, (October 1970) DOI: 10.1305/ndjfl/1093894077 Open Access
KEYWORDS: 02.85
No abstract available
DOWNLOAD PAPER
The dependence of mereological axiom.
Robert E. Clay
Notre Dame J. Formal Logic 11 (4), 471-472, (October 1970) DOI: 10.1305/ndjfl/1093894078 Open Access
No abstract available
DOWNLOAD PAPER
Generalized reals.
F. G. Asenjo
Notre Dame J. Formal Logic 11 (4), 473-476, (October 1970) DOI: 10.1305/ndjfl/1093894079 Open Access
KEYWORDS: 02H15, 01A55, 50A25
No abstract available
DOWNLOAD PAPER
On the interpretability of arithmetic in set theory.
George E. Collins, J. D. Halpern
Notre Dame J. Formal Logic 11 (4), 477-483, (October 1970) DOI: 10.1305/ndjfl/1093894080 Open Access
KEYWORDS: 02G99
No abstract available
DOWNLOAD PAPER
A note on the intuitionist fan theorem.
W. Russell Belding
Notre Dame J. Formal Logic 11 (4), 484-486, (October 1970) DOI: 10.1305/ndjfl/1093894081 Open Access
KEYWORDS: 02E05
No abstract available
DOWNLOAD PAPER
Referential involvements of number words.
Chung-ying Cheng
Notre Dame J. Formal Logic 11 (4), 487-496, (October 1970) DOI: 10.1305/ndjfl/1093894082 Open Access
KEYWORDS: 00.50, 02.00
No abstract available
DOWNLOAD PAPER
The Carrollian matrix.
Elvin Rasof
Notre Dame J. Formal Logic 11 (4), 497-504, (October 1970) DOI: 10.1305/ndjfl/1093894083 Open Access
No abstract available
DOWNLOAD PAPER
Four-valued tables and modal logic.
Richard L. Purtill
Notre Dame J. Formal Logic 11 (4), 505-511, (October 1970) DOI: 10.1305/ndjfl/1093894084 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Back Matter
Errata.
Notre Dame J. Formal Logic 11 (4), 512, (October 1970) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 11, issue 4 (1970)
Notre Dame J. Formal Logic 11 (4), (October 1970) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top