Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 21 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 21 · NO. 2 | April 1980
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 21, issue 2 (1980)
Notre Dame J. Formal Logic 21 (2), (April 1980) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Significance, necessity, and verification.
L. Goddard
Notre Dame J. Formal Logic 21 (2), 193-215, (April 1980) DOI: 10.1305/ndjfl/1093883040 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
Infinitary propositional intuitionistic logic.
Craig Kalicki
Notre Dame J. Formal Logic 21 (2), 216-228, (April 1980) DOI: 10.1305/ndjfl/1093883041 Open Access
KEYWORDS: 03B60, 03F05
No abstract available
DOWNLOAD PAPER
Some recent work on the assertoric syllogistic.
Joseph A. Novak
Notre Dame J. Formal Logic 21 (2), 229-242, (April 1980) DOI: 10.1305/ndjfl/1093883042 Open Access
KEYWORDS: 03B20, 01A20, 03-03
No abstract available
DOWNLOAD PAPER
On substitution for variable one-place functors.
Stanley J. Krolikoski
Notre Dame J. Formal Logic 21 (2), 243-250, (April 1980) DOI: 10.1305/ndjfl/1093883043 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Frames versus minimally restricted structures.
Jack C. Boudreaux
Notre Dame J. Formal Logic 21 (2), 251-262, (April 1980) DOI: 10.1305/ndjfl/1093883044 Open Access
KEYWORDS: 03B15, 03C85
No abstract available
DOWNLOAD PAPER
Reviews
Two remarks on: The logic of significance and context. Vol. I [Halsted, New York, 1973].
Ross T. Brady
Notre Dame J. Formal Logic 21 (2), 263-272, (April 1980) DOI: 10.1305/ndjfl/1093883045 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Articles
Constructively nonpartial recursive functions.
Bruce M. Horowitz
Notre Dame J. Formal Logic 21 (2), 273-276, (April 1980) DOI: 10.1305/ndjfl/1093883046 Open Access
KEYWORDS: 03D20, 03D25
No abstract available
DOWNLOAD PAPER
General computability.
Thomas H. Payne
Notre Dame J. Formal Logic 21 (2), 277-292, (April 1980) DOI: 10.1305/ndjfl/1093883047 Open Access
KEYWORDS: 03D75
No abstract available
DOWNLOAD PAPER
A complete system of indexical logic.
Rolf Schock
Notre Dame J. Formal Logic 21 (2), 293-315, (April 1980) DOI: 10.1305/ndjfl/1093883048 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Three theories of dialectic.
Laurence S. Gagnon
Notre Dame J. Formal Logic 21 (2), 316-318, (April 1980) DOI: 10.1305/ndjfl/1093883049 Open Access
KEYWORDS: 03B99
No abstract available
DOWNLOAD PAPER
Significance range theory.
Ross T. Brady
Notre Dame J. Formal Logic 21 (2), 319-345, (April 1980) DOI: 10.1305/ndjfl/1093883050 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
Simplifying the axioms of the predicate calculus.
Jean Porte
Notre Dame J. Formal Logic 21 (2), 346-350, (April 1980) DOI: 10.1305/ndjfl/1093883051 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
A natural deduction system of indexical logic.
Rolf Schock
Notre Dame J. Formal Logic 21 (2), 351-364, (April 1980) DOI: 10.1305/ndjfl/1093883052 Open Access
KEYWORDS: 03B60
No abstract available
DOWNLOAD PAPER
$n$-polar logic of classes.
Léon Birnbaum
Notre Dame J. Formal Logic 21 (2), 365-379, (April 1980) DOI: 10.1305/ndjfl/1093883053 Open Access
KEYWORDS: 03B50, 03E70
No abstract available
DOWNLOAD PAPER
Significance and illative combinatory logics.
M. W. Bunder
Notre Dame J. Formal Logic 21 (2), 380-384, (April 1980) DOI: 10.1305/ndjfl/1093883054 Open Access
KEYWORDS: 03B40
No abstract available
DOWNLOAD PAPER
A theory of classes and individuals based on a $3$-valued significance logic.
Ross T. Brady
Notre Dame J. Formal Logic 21 (2), 385-414, (April 1980) DOI: 10.1305/ndjfl/1093883055 Open Access
KEYWORDS: 03B50, 03E70
No abstract available
DOWNLOAD PAPER
Generalised logic. II.
John Evenden
Notre Dame J. Formal Logic 21 (2), 415-428, (April 1980) DOI: 10.1305/ndjfl/1093883056 Open Access
KEYWORDS: 03B60, 03B50
No abstract available
DOWNLOAD PAPER
Some remarks about the family ${\bf \text K}$ of modal systems.
Włodzimierz Rabinowicz
Notre Dame J. Formal Logic 21 (2), 429-448, (April 1980) DOI: 10.1305/ndjfl/1093883057 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Normal derivability and first-order arithmetic.
P. Tosi
Notre Dame J. Formal Logic 21 (2), 449-466, (April 1980) DOI: 10.1305/ndjfl/1093883058 Open Access
KEYWORDS: 03F05, 03F55
No abstract available
DOWNLOAD PAPER
Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions.
J. Almog
Notre Dame J. Formal Logic 21 (2), 467-479, (April 1980) DOI: 10.1305/ndjfl/1093883059 Open Access
KEYWORDS: 03B45, 03B52
No abstract available
DOWNLOAD PAPER
Back Matter
Editorial notice: Exploring Meinong's jungle, by R. Routley.
Notre Dame J. Formal Logic 21 (2), 480, (April 1980) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 21, issue 2 (1980)
Notre Dame J. Formal Logic 21 (2), (April 1980) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top