Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 33 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 33 · NO. 2 | Spring 1992
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 33, issue 2 (1992)
Notre Dame J. Formal Logic 33 (2), (Spring 1992) Open Access
No abstract available
DOWNLOAD PAPER
Articles
More on ${\germ R}$.
Frank O. Wagner
Notre Dame J. Formal Logic 33 (2), 159-174, (Spring 1992) DOI: 10.1305/ndjfl/1093636093 Open Access
KEYWORDS: 03C45, 03C60, 20A15
No abstract available
DOWNLOAD PAPER
On generic structures.
D. W. Kueker, M. C. Laskowski
Notre Dame J. Formal Logic 33 (2), 175-183, (Spring 1992) DOI: 10.1305/ndjfl/1093636094 Open Access
KEYWORDS: 03C15, 03C35, 03C50
No abstract available
DOWNLOAD PAPER
Approximations and logic.
Jean-Pierre Marquis
Notre Dame J. Formal Logic 33 (2), 184-196, (Spring 1992) DOI: 10.1305/ndjfl/1093636095 Open Access
KEYWORDS: 03B60, 03G10
No abstract available
DOWNLOAD PAPER
The admissibility of $\gamma$ in ${\rm R}4$.
Edwin D. Mares, Robert K. Meyer
Notre Dame J. Formal Logic 33 (2), 197-206, (Spring 1992) DOI: 10.1305/ndjfl/1093636096 Open Access
KEYWORDS: 03B46, 03B45
No abstract available
DOWNLOAD PAPER
On interpreting truth tables and relevant truth table logic.
Richard Sylvan
Notre Dame J. Formal Logic 33 (2), 207-215, (Spring 1992) DOI: 10.1305/ndjfl/1093636097 Open Access
KEYWORDS: 03B46
No abstract available
DOWNLOAD PAPER
End extensions of models of arithmetic.
James H. Schmerl
Notre Dame J. Formal Logic 33 (2), 216-219, (Spring 1992) DOI: 10.1305/ndjfl/1093636098 Open Access
KEYWORDS: 03C62, 03H15
No abstract available
DOWNLOAD PAPER
Pure second-order logic.
Nicholas Denyer
Notre Dame J. Formal Logic 33 (2), 220-224, (Spring 1992) DOI: 10.1305/ndjfl/1093636099 Open Access
KEYWORDS: 03B15
No abstract available
DOWNLOAD PAPER
A note about the axioms for branching-time logic.
Alberto Zanardo
Notre Dame J. Formal Logic 33 (2), 225-228, (Spring 1992) DOI: 10.1305/ndjfl/1093636100 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Classical logic, intuitionistic logic, and the Peirce rule.
Henry Africk
Notre Dame J. Formal Logic 33 (2), 229-235, (Spring 1992) DOI: 10.1305/ndjfl/1093636101 Open Access
KEYWORDS: 03F05
No abstract available
DOWNLOAD PAPER
The axiom of choice for countable collections of countable sets does not imply the countable union theorem.
Paul E. Howard
Notre Dame J. Formal Logic 33 (2), 236-243, (Spring 1992) DOI: 10.1305/ndjfl/1093636102 Open Access
KEYWORDS: 03E25, 04A25
No abstract available
DOWNLOAD PAPER
A modal analog for Glivenko's theorem and its applications.
V. V. Rybakov
Notre Dame J. Formal Logic 33 (2), 244-248, (Spring 1992) DOI: 10.1305/ndjfl/1093636103 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Unary interpretability logic.
Maarten de Rijke
Notre Dame J. Formal Logic 33 (2), 249-272, (Spring 1992) DOI: 10.1305/ndjfl/1093636104 Open Access
KEYWORDS: 03B45, 03F30, 03F40
No abstract available
DOWNLOAD PAPER
Eventual periodicity and ``one-dimensional'' queries.
Gregory L. McColm
Notre Dame J. Formal Logic 33 (2), 273-290, (Spring 1992) DOI: 10.1305/ndjfl/1093636105 Open Access
KEYWORDS: 03C13, 03C85, 03D15, 03D55, 68Q15
No abstract available
DOWNLOAD PAPER
Reviews
Book review: David H. Sanford. If P, then Q: Conditionals and the foundations of reasoning.
Robert Stalnaker
Notre Dame J. Formal Logic 33 (2), 291-297, (Spring 1992) DOI: 10.1305/ndjfl/1093636106 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 33, issue 2 (1992)
Notre Dame J. Formal Logic 33 (2), (Spring 1992) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top