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)
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
No abstract available
DOWNLOAD PAPER
Back to Top