Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 33 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 33 · NO. 3 | Summer 1992
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 33, issue 3 (1992)
Notre Dame J. Formal Logic 33 (3), (Summer 1992) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A Diophantine definition of rational integers over some rings of algebraic numbers.
Alexandra Shlapentokh
Notre Dame J. Formal Logic 33 (3), 299-321, (Summer 1992) DOI: 10.1305/ndjfl/1093634397 Open Access
KEYWORDS: 11U05, 03D35
No abstract available
DOWNLOAD PAPER
Generic models of the theory of normal ${\bf Z}$-rings.
Margarita Otero
Notre Dame J. Formal Logic 33 (3), 322-331, (Summer 1992) DOI: 10.1305/ndjfl/1093634398 Open Access
KEYWORDS: 03C60, 11U09
No abstract available
DOWNLOAD PAPER
The categoricity spectrum of pseudo-elementary classes.
Michael Chris Laskowski
Notre Dame J. Formal Logic 33 (3), 332-347, (Summer 1992) DOI: 10.1305/ndjfl/1093634399 Open Access
KEYWORDS: 03C35, 03C45, 03C52, 03E35
No abstract available
DOWNLOAD PAPER
A variable-free logic for mass terms.
William C. Purdy
Notre Dame J. Formal Logic 33 (3), 348-358, (Summer 1992) DOI: 10.1305/ndjfl/1093634400 Open Access
KEYWORDS: 03B60, 03B65
No abstract available
DOWNLOAD PAPER
Cut-free systems for three-valued modal logics.
Mitio Takano
Notre Dame J. Formal Logic 33 (3), 359-368, (Summer 1992) DOI: 10.1305/ndjfl/1093634401 Open Access
KEYWORDS: 03B45, 03B25, 03B50, 03F05
No abstract available
DOWNLOAD PAPER
A sequent- or tableau-style system for Lewis's counterfactual logic ${\rm VC}$.
Ian Philip Gent
Notre Dame J. Formal Logic 33 (3), 369-382, (Summer 1992) DOI: 10.1305/ndjfl/1093634402 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Relative separation theorems for $\scr L_{\kappa+\kappa}$.
Heikki Tuuri
Notre Dame J. Formal Logic 33 (3), 383-401, (Summer 1992) DOI: 10.1305/ndjfl/1093634403 Open Access
KEYWORDS: 03C75
No abstract available
DOWNLOAD PAPER
On a quasi-set theory.
Décio Krause
Notre Dame J. Formal Logic 33 (3), 402-411, (Summer 1992) DOI: 10.1305/ndjfl/1093634404 Open Access
KEYWORDS: 03E70
No abstract available
DOWNLOAD PAPER
A certain conception of the calculus of rough sets.
Zbigniew Bonikowski
Notre Dame J. Formal Logic 33 (3), 412-421, (Summer 1992) DOI: 10.1305/ndjfl/1093634405 Open Access
KEYWORDS: 06E15, 03E70, 03E72, 68T30
No abstract available
DOWNLOAD PAPER
A note on naive set theory in ${\rm LP}$.
Greg Restall
Notre Dame J. Formal Logic 33 (3), 422-432, (Summer 1992) DOI: 10.1305/ndjfl/1093634406 Open Access
KEYWORDS: 03E70, 03B53
No abstract available
DOWNLOAD PAPER
Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers.
G. C. Nelson
Notre Dame J. Formal Logic 33 (3), 433-441, (Summer 1992) DOI: 10.1305/ndjfl/1093634407 Open Access
KEYWORDS: 03C20, 03C50, 03C57
No abstract available
DOWNLOAD PAPER
Real reduced models for relevant logics without ${\rm WI}$.
Steve Giambrone
Notre Dame J. Formal Logic 33 (3), 442-449, (Summer 1992) DOI: 10.1305/ndjfl/1093634408 Open Access
KEYWORDS: 03B46
No abstract available
DOWNLOAD PAPER
Unifying some modifications of the Henkin construction.
George Weaver
Notre Dame J. Formal Logic 33 (3), 450-460, (Summer 1992) DOI: 10.1305/ndjfl/1093634409 Open Access
KEYWORDS: 03C07, 03C95
No abstract available
DOWNLOAD PAPER
Reviews
Book review: Richard Kaye. Models of Peano arithmetic.
Lawrence Kiry
Notre Dame J. Formal Logic 33 (3), 461-463, (Summer 1992) DOI: 10.1305/ndjfl/1093634410 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 33, issue 3 (1992)
Notre Dame J. Formal Logic 33 (3), (Summer 1992) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top