Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 24 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 24 · NO. 2 | April 1983
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 24, issue 2 (1983)
Notre Dame J. Formal Logic 24 (2), (April 1983) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Probabilistic semantics for intuitionistic logic.
H. Leblanc, C. G. Morgan
Notre Dame J. Formal Logic 24 (2), 161-180, (April 1983) DOI: 10.1305/ndjfl/1093870307 Open Access
KEYWORDS: 03B20, 03B48, 03B55, 03F65
No abstract available
DOWNLOAD PAPER
A new foundation for the theory of relations.
Stephen D. Comer
Notre Dame J. Formal Logic 24 (2), 181-187, (April 1983) DOI: 10.1305/ndjfl/1093870308 Open Access
KEYWORDS: 03G15
No abstract available
DOWNLOAD PAPER
Cylindrical decision problems for system functions.
M. B. Thuraisingham
Notre Dame J. Formal Logic 24 (2), 188-198, (April 1983) DOI: 10.1305/ndjfl/1093870309 Open Access
KEYWORDS: 03D35, 03B25
No abstract available
DOWNLOAD PAPER
Compactness via prime semilattices.
R. H. Cowen
Notre Dame J. Formal Logic 24 (2), 199-204, (April 1983) DOI: 10.1305/ndjfl/1093870310 Open Access
KEYWORDS: 06A12
No abstract available
DOWNLOAD PAPER
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.
L. Henschen, B. Smith, R. Veroff, S. Winker, L. Wos
Notre Dame J. Formal Logic 24 (2), 205-223, (April 1983) DOI: 10.1305/ndjfl/1093870311 Open Access
KEYWORDS: 03B20, 03B35
No abstract available
DOWNLOAD PAPER
Completeness of an ecthetic syllogistic.
Robin Smith
Notre Dame J. Formal Logic 24 (2), 224-232, (April 1983) DOI: 10.1305/ndjfl/1093870312 Open Access
KEYWORDS: 03B20, 01A20, 03-03
No abstract available
DOWNLOAD PAPER
An axiomatization of predicate functor logic.
Steven T. Kuhn
Notre Dame J. Formal Logic 24 (2), 233-241, (April 1983) DOI: 10.1305/ndjfl/1093870313 Open Access
KEYWORDS: 03B99, 03B10
No abstract available
DOWNLOAD PAPER
Some elementary closure properties of $n$-cylinders.
M. B. Thuraisingham
Notre Dame J. Formal Logic 24 (2), 242-254, (April 1983) DOI: 10.1305/ndjfl/1093870314 Open Access
KEYWORDS: 03D35, 03D20
No abstract available
DOWNLOAD PAPER
The published work of Kurt Gödel: an annotated bibliography.
John W. Dawson Jr.
Notre Dame J. Formal Logic 24 (2), 255-284, (April 1983) DOI: 10.1305/ndjfl/1093870315 Open Access
KEYWORDS: 01A70, 03-03
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 24, issue 2 (1983)
Notre Dame J. Formal Logic 24 (2), (April 1983) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top