Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 25 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 25 · NO. 4 | October 1984
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 25, issue 4 (1984)
Notre Dame J. Formal Logic 25 (4), (October 1984) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Do we need quantification?
Philip Hugly, Charles Sayward
Notre Dame J. Formal Logic 25 (4), 289-302, (October 1984) DOI: 10.1305/ndjfl/1093870682 Open Access
KEYWORDS: 03A05, 03B10, 03C75
No abstract available
DOWNLOAD PAPER
Generalized quantifiers and the square of opposition.
Mark Brown
Notre Dame J. Formal Logic 25 (4), 303-322, (October 1984) DOI: 10.1305/ndjfl/1093870683 Open Access
KEYWORDS: 03B65, 03C80
No abstract available
DOWNLOAD PAPER
Unneeded surgery on Aristotle's Prior analytics.
Evelyn M. Barker
Notre Dame J. Formal Logic 25 (4), 323-331, (October 1984) DOI: 10.1305/ndjfl/1093870684 Open Access
KEYWORDS: 01A20, 03-03
No abstract available
DOWNLOAD PAPER
Individual concepts as propositional variables in ${\rm ML}^{\nu+1}$.
Alberto Zanardo
Notre Dame J. Formal Logic 25 (4), 332-346, (October 1984) DOI: 10.1305/ndjfl/1093870685 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Facts and the choice of logical foundations.
Veikko Rantala
Notre Dame J. Formal Logic 25 (4), 347-353, (October 1984) DOI: 10.1305/ndjfl/1093870686 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
An axiomatization of the equivalential fragment of the three-valued logic of Ł ukasiewicz.
Jacek K. Kabziński
Notre Dame J. Formal Logic 25 (4), 354-356, (October 1984) DOI: 10.1305/ndjfl/1093870687 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
Extensionality in Bernays set theory.
Mitsuru Yasuhara
Notre Dame J. Formal Logic 25 (4), 357-363, (October 1984) DOI: 10.1305/ndjfl/1093870688 Open Access
KEYWORDS: 03E30, 03E35
No abstract available
DOWNLOAD PAPER
A pragmatic theory of locally standard grammar.
Albert M. Sweet
Notre Dame J. Formal Logic 25 (4), 364-382, (October 1984) DOI: 10.1305/ndjfl/1093870689 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
Some remarks on equivalence in infinitary and stationary logic.
Matt Kaufmann
Notre Dame J. Formal Logic 25 (4), 383-389, (October 1984) DOI: 10.1305/ndjfl/1093870690 Open Access
KEYWORDS: 03C80
No abstract available
DOWNLOAD PAPER
A shorter proof of a recent result by R. Di Paola.
Claudio Bernardi
Notre Dame J. Formal Logic 25 (4), 390-393, (October 1984) DOI: 10.1305/ndjfl/1093870691 Open Access
KEYWORDS: 03F30, 03F40
No abstract available
DOWNLOAD PAPER
Back Matter
Author Index IV. Volumes 21--25 (1980--1984).
Notre Dame J. Formal Logic 25 (4), 394-410, (October 1984) Open Access
No abstract available
DOWNLOAD PAPER
Volume 25 contents.
Notre Dame J. Formal Logic 25 (4), 411-414, (October 1984) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 25, issue 4 (1984)
Notre Dame J. Formal Logic 25 (4), (October 1984) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top