Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 34 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 34 · NO. 1 | Winter 1993
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 34, issue 1 (1993)
Notre Dame J. Formal Logic 34 (1), (Winter 1993) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Maximal subgroups of infinite symmetric groups.
James E. Baumgartner, Saharon Shelah, Simon Thomas
Notre Dame J. Formal Logic 34 (1), 1-11, (Winter 1993) DOI: 10.1305/ndjfl/1093634559 Open Access
KEYWORDS: 20B35, 03E35, 03E65, 20A15
No abstract available
DOWNLOAD PAPER
Is it possible that belief isn't necessary?
Brian Macpherson
Notre Dame J. Formal Logic 34 (1), 12-28, (Winter 1993) DOI: 10.1305/ndjfl/1093634560 Open Access
KEYWORDS: 03B45, 68T27
No abstract available
DOWNLOAD PAPER
On the maximality of some pairs of p-t degrees.
Xi Zhong Zheng
Notre Dame J. Formal Logic 34 (1), 29-35, (Winter 1993) DOI: 10.1305/ndjfl/1093634561 Open Access
KEYWORDS: 03D30, 03D15, 68Q15
No abstract available
DOWNLOAD PAPER
Closed categories and categorical grammar.
Daniel J. Dougherty
Notre Dame J. Formal Logic 34 (1), 36-49, (Winter 1993) DOI: 10.1305/ndjfl/1093634562 Open Access
KEYWORDS: 03B65, 03G30, 18D10, 68S05
No abstract available
DOWNLOAD PAPER
The amalgamation property in normal open induction.
Margarita Otero
Notre Dame J. Formal Logic 34 (1), 50-55, (Winter 1993) DOI: 10.1305/ndjfl/1093634563 Open Access
KEYWORDS: 03C62, 03F30, 12L12
No abstract available
DOWNLOAD PAPER
Nominal tense logic.
Patrick Blackburn
Notre Dame J. Formal Logic 34 (1), 56-83, (Winter 1993) DOI: 10.1305/ndjfl/1093634564 Open Access
KEYWORDS: 03B45, 03B65
No abstract available
DOWNLOAD PAPER
An arithmetical completeness theorem for pre-permutations.
Friedemann Tuttas
Notre Dame J. Formal Logic 34 (1), 84-89, (Winter 1993) DOI: 10.1305/ndjfl/1093634565 Open Access
KEYWORDS: 03B45, 03F40
No abstract available
DOWNLOAD PAPER
Formalizing the logic of positive, comparative, and superlative.
Ernest Adams
Notre Dame J. Formal Logic 34 (1), 90-99, (Winter 1993) DOI: 10.1305/ndjfl/1093634566 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
The strength of the $\Delta$-system lemma.
Paul Howard, Jeffrey Solski
Notre Dame J. Formal Logic 34 (1), 100-106, (Winter 1993) DOI: 10.1305/ndjfl/1093634567 Open Access
KEYWORDS: 03E25, 03E05, 03E35
No abstract available
DOWNLOAD PAPER
The grounds for the model-theoretic account of the logical properties.
Manuel García-Carpintero Sánchez-Miguel
Notre Dame J. Formal Logic 34 (1), 107-131, (Winter 1993) DOI: 10.1305/ndjfl/1093634568 Open Access
KEYWORDS: 03A05, 03B65
No abstract available
DOWNLOAD PAPER
Single axioms for the left group and right group calculi.
William W. McCune
Notre Dame J. Formal Logic 34 (1), 132-139, (Winter 1993) DOI: 10.1305/ndjfl/1093634569 Open Access
KEYWORDS: 03B30, 03-04, 03B35, 68T15
No abstract available
DOWNLOAD PAPER
Intermediate quantifiers for Finch's proportions.
Philip L. Peterson
Notre Dame J. Formal Logic 34 (1), 140-149, (Winter 1993) DOI: 10.1305/ndjfl/1093634570 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
Reviews
Book Review: Raymond Bradley. The nature of all being: A study of Wittgenstein's modal atomism.
D. M. Armstrong
Notre Dame J. Formal Logic 34 (1), 150-156, (Winter 1993) DOI: 10.1305/ndjfl/1093634571 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 34, issue 1 (1993)
Notre Dame J. Formal Logic 34 (1), (Winter 1993) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top