Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 11 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 11 · NO. 2 | April 1970
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 11, issue 2 (1970)
Notre Dame J. Formal Logic 11 (2), (April 1970) Open Access
No abstract available
DOWNLOAD PAPER
Articles
In memoriam: Clarence Irving Lewis (1883--1964).
William Tuthill Parry
Notre Dame J. Formal Logic 11 (2), 129-140, (April 1970) DOI: 10.1305/ndjfl/1093893933 Open Access
KEYWORDS: 01A70, 02-03
No abstract available
DOWNLOAD PAPER
Decision procedures for Lewis system S1 and related modal systems.
Anjan Shukla
Notre Dame J. Formal Logic 11 (2), 141-180, (April 1970) DOI: 10.1305/ndjfl/1093893934 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
${\rm E}$ and ${\rm S}4$.
Robert K. Meyer
Notre Dame J. Formal Logic 11 (2), 181-199, (April 1970) DOI: 10.1305/ndjfl/1093893935 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
An unsolvable problem concerning implicational calculi.
Ralph C. Applebee, Biswambhar Pahi
Notre Dame J. Formal Logic 11 (2), 200-202, (April 1970) DOI: 10.1305/ndjfl/1093893936 Open Access
KEYWORDS: 02.75
No abstract available
DOWNLOAD PAPER
The missing premiss.
Alex Blum
Notre Dame J. Formal Logic 11 (2), 203-204, (April 1970) DOI: 10.1305/ndjfl/1093893937 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Affine geometry with S. Dowdy's ``trapezoid'' as primitive.
Robert E. Clay
Notre Dame J. Formal Logic 11 (2), 205-219, (April 1970) DOI: 10.1305/ndjfl/1093893938 Open Access
KEYWORDS: 50.05
No abstract available
DOWNLOAD PAPER
Corrigendum to our paper: ``A theorem on $n$-tuples which is equivalent to the well-ordering theorem''.
H. Rubin, J. E. Rubin
Notre Dame J. Formal Logic 11 (2), 220, (April 1970) DOI: 10.1305/ndjfl/1093893939 Open Access
KEYWORDS: 02.60
No abstract available
DOWNLOAD PAPER
Axiomatic quasi-natural deduction.
John R. Gregg
Notre Dame J. Formal Logic 11 (2), 221-228, (April 1970) DOI: 10.1305/ndjfl/1093893940 Open Access
KEYWORDS: 02.18
No abstract available
DOWNLOAD PAPER
New algorithms for the statement and class calculi.
Henry C. Byerly, Charles J. Merchant
Notre Dame J. Formal Logic 11 (2), 229-240, (April 1970) DOI: 10.1305/ndjfl/1093893941 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
The product of implication and counter-implication systems.
Rangaswamy V. Setlur
Notre Dame J. Formal Logic 11 (2), 241-248, (April 1970) DOI: 10.1305/ndjfl/1093893942 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus.
Rangaswamy V. Setlur
Notre Dame J. Formal Logic 11 (2), 249-253, (April 1970) DOI: 10.1305/ndjfl/1093893943 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
On infinite matrices and the paradoxes of material implication.
W. C. Wilcox
Notre Dame J. Formal Logic 11 (2), 254-256, (April 1970) DOI: 10.1305/ndjfl/1093893944 Open Access
KEYWORDS: 02.25, 05.00
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 11, issue 2 (1970)
Notre Dame J. Formal Logic 11 (2), (April 1970) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top