Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 9 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 9 · NO. 3 | July 1968
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 9, issue 3 (1968)
Notre Dame J. Formal Logic 9 (3), (July 1968) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Results regarding the axiomatization of partial propositional calculi.
W. E. Singletary
Notre Dame J. Formal Logic 9 (3), 193-211, (July 1968) DOI: 10.1305/ndjfl/1093893456 Open Access
KEYWORDS: 02.75
No abstract available
DOWNLOAD PAPER
Equational logic.
C. A. Meredith, A. N. Prior
Notre Dame J. Formal Logic 9 (3), 212-226, (July 1968) DOI: 10.1305/ndjfl/1093893457 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Petrus Fonseca and material implication.
E. J. Ashworth
Notre Dame J. Formal Logic 9 (3), 227-228, (July 1968) DOI: 10.1305/ndjfl/1093893458 Open Access
No abstract available
DOWNLOAD PAPER
The middle term.
Sibajiban
Notre Dame J. Formal Logic 9 (3), 229-232, (July 1968) DOI: 10.1305/ndjfl/1093893459 Open Access
No abstract available
DOWNLOAD PAPER
Towards a logic of significance.
Leonard Goddard
Notre Dame J. Formal Logic 9 (3), 233-264, (July 1968) DOI: 10.1305/ndjfl/1093893460 Open Access
No abstract available
DOWNLOAD PAPER
Modified strong reduction in combinatory logic.
Kenneth Loewen
Notre Dame J. Formal Logic 9 (3), 265-270, (July 1968) DOI: 10.1305/ndjfl/1093893461 Open Access
KEYWORDS: 02.85
No abstract available
DOWNLOAD PAPER
A standardization theorem for strong reduction.
Kenneth Loewen
Notre Dame J. Formal Logic 9 (3), 271-283, (July 1968) DOI: 10.1305/ndjfl/1093893462 Open Access
KEYWORDS: 02.85
No abstract available
DOWNLOAD PAPER
Note on duality in propositional calculus.
Chandler Works, Wolfgang Yourgrau
Notre Dame J. Formal Logic 9 (3), 284-288, (July 1968) DOI: 10.1305/ndjfl/1093893463 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 9, issue 3 (1968)
Notre Dame J. Formal Logic 9 (3), (July 1968) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top