Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 35 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 35 · NO. 2 | Spring 1994
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 35, issue 2 (1994)
Notre Dame J. Formal Logic 35 (2), (Spring 1994) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A smart child of Peano's.
V. Yu. Shavrukov
Notre Dame J. Formal Logic 35 (2), 161-185, (Spring 1994) DOI: 10.1305/ndjfl/1094061859 Open Access
KEYWORDS: 03F40, 03B45, 03F30
No abstract available
DOWNLOAD PAPER
A minimal predicative set theory.
Antonella Mancini, Franco Montagna
Notre Dame J. Formal Logic 35 (2), 186-203, (Spring 1994) DOI: 10.1305/ndjfl/1094061860 Open Access
KEYWORDS: 03E30, 03F25, 03F30
No abstract available
DOWNLOAD PAPER
A revision-theoretic analysis of the arithmetical hierarchy.
Gian Aldo Antonelli
Notre Dame J. Formal Logic 35 (2), 204-218, (Spring 1994) DOI: 10.1305/ndjfl/1094061861 Open Access
KEYWORDS: 03D55, 03D70
No abstract available
DOWNLOAD PAPER
Extending intuitionistic linear logic with knotted structural rules.
R. Hori, H. Ono, H. Schellinx
Notre Dame J. Formal Logic 35 (2), 219-242, (Spring 1994) DOI: 10.1305/ndjfl/1094061862 Open Access
KEYWORDS: 03B60, 03C13, 03F05, 03F50, 03F55
No abstract available
DOWNLOAD PAPER
Incremental semantics for propositional texts.
C. F. M. Vermeulen
Notre Dame J. Formal Logic 35 (2), 243-271, (Spring 1994) DOI: 10.1305/ndjfl/1094061863 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
Modalities in vector logic.
Eduardo Mizraji
Notre Dame J. Formal Logic 35 (2), 272-283, (Spring 1994) DOI: 10.1305/ndjfl/1094061864 Open Access
KEYWORDS: 03B50, 03B52
No abstract available
DOWNLOAD PAPER
Modal-epistemic variants of Shapiro's system of epistemic arithmetic.
Leon Horsten
Notre Dame J. Formal Logic 35 (2), 284-291, (Spring 1994) DOI: 10.1305/ndjfl/1094061865 Open Access
KEYWORDS: 03B45, 03B20, 03B30, 03F30
No abstract available
DOWNLOAD PAPER
The structure of pleasant ideals.
Christopher C. Leary
Notre Dame J. Formal Logic 35 (2), 292-298, (Spring 1994) DOI: 10.1305/ndjfl/1094061866 Open Access
KEYWORDS: 03E55, 03E05
No abstract available
DOWNLOAD PAPER
Reviews
Book Review: C. Anthony Anderson and Joseph Owens. Propositional attitudes: The role of content in logic, language and mind.
Jean R. Kazez
Notre Dame J. Formal Logic 35 (2), 299-310, (Spring 1994) DOI: 10.1305/ndjfl/1094061867 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 35, issue 2 (1994)
Notre Dame J. Formal Logic 35 (2), (Spring 1994) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top