Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 25 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 25 · NO. 3 | July 1984
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 25, issue 3 (1984)
Notre Dame J. Formal Logic 25 (3), (July 1984) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Trees and finite satisfiability: proof of a conjecture of Burgess.
George Boolos
Notre Dame J. Formal Logic 25 (3), 193-197, (July 1984) DOI: 10.1305/ndjfl/1093870624 Open Access
KEYWORDS: 03B10, 03C13
No abstract available
DOWNLOAD PAPER
Probability logic.
Theodore Hailperin
Notre Dame J. Formal Logic 25 (3), 198-212, (July 1984) DOI: 10.1305/ndjfl/1093870625 Open Access
KEYWORDS: 03B48, 60A99
No abstract available
DOWNLOAD PAPER
A model theoretic proof of Feferman's preservation theorem.
David Marker
Notre Dame J. Formal Logic 25 (3), 213-216, (July 1984) DOI: 10.1305/ndjfl/1093870626 Open Access
KEYWORDS: 03C40
No abstract available
DOWNLOAD PAPER
Read on relevance: a rejoinder.
John P. Burgess
Notre Dame J. Formal Logic 25 (3), 217-223, (July 1984) DOI: 10.1305/ndjfl/1093870627 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Finitary consistency of a free arithmetic.
Ermanno Bencivenga
Notre Dame J. Formal Logic 25 (3), 224-226, (July 1984) DOI: 10.1305/ndjfl/1093870628 Open Access
KEYWORDS: 03F30, 03A05
No abstract available
DOWNLOAD PAPER
Skolem fragments.
Daniel Bonevac
Notre Dame J. Formal Logic 25 (3), 227-232, (July 1984) DOI: 10.1305/ndjfl/1093870629 Open Access
KEYWORDS: 03B10, 03C07
No abstract available
DOWNLOAD PAPER
Aggregating subjective probabilities: some limitative theorems.
Carl Wagner
Notre Dame J. Formal Logic 25 (3), 233-240, (July 1984) DOI: 10.1305/ndjfl/1093870630 Open Access
KEYWORDS: 03B48, 60A05, 90A07
No abstract available
DOWNLOAD PAPER
Correcting the tableau procedure for ${\rm S}4$.
Bangs L. Tapscott
Notre Dame J. Formal Logic 25 (3), 241-249, (July 1984) DOI: 10.1305/ndjfl/1093870631 Open Access
KEYWORDS: 03B45, 03B35
No abstract available
DOWNLOAD PAPER
Mechanizing logic. I. Map logic extended formally to relational arguments.
John Rybak, Janet Rybak
Notre Dame J. Formal Logic 25 (3), 250-264, (July 1984) DOI: 10.1305/ndjfl/1093870632 Open Access
KEYWORDS: 03B35, 68T15
No abstract available
DOWNLOAD PAPER
Mechanizing logic. II. Automated map logic method for relational arguments on paper and by computer.
Janet Rybak, John Rybak
Notre Dame J. Formal Logic 25 (3), 265-282, (July 1984) DOI: 10.1305/ndjfl/1093870633 Open Access
KEYWORDS: 03B35, 68T15
No abstract available
DOWNLOAD PAPER
Addenda and corrigenda to: ``The published work of Kurt Gödel: an annotated bibliography''.
John W. Dawson Jr.
Notre Dame J. Formal Logic 25 (3), 283-287, (July 1984) DOI: 10.1305/ndjfl/1093870634 Open Access
KEYWORDS: 01A70, 03-03
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 25, issue 3 (1984)
Notre Dame J. Formal Logic 25 (3), (July 1984) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top