Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 20 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 20 · NO. 2 | April 1979
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 20, issue 2 (1979)
Notre Dame J. Formal Logic 20 (2), (April 1979) Open Access
No abstract available
DOWNLOAD PAPER
Articles
$\alpha$-naming and $\alpha$-speedup theorems.
Barry E. Jacobs
Notre Dame J. Formal Logic 20 (2), 241-261, (April 1979) DOI: 10.1305/ndjfl/1093882529 Open Access
KEYWORDS: 03D60, 03D15
No abstract available
DOWNLOAD PAPER
A binary Sheffer operator which does the work of quantifiers and sentential connectives.
Robert B. Brandom
Notre Dame J. Formal Logic 20 (2), 262-264, (April 1979) DOI: 10.1305/ndjfl/1093882530 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
An alternative semantics for knowledge.
Gregory Mellema
Notre Dame J. Formal Logic 20 (2), 265-278, (April 1979) DOI: 10.1305/ndjfl/1093882531 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Does quotation sometimes permit substitution?
William G. Lycan
Notre Dame J. Formal Logic 20 (2), 279-280, (April 1979) DOI: 10.1305/ndjfl/1093882532 Open Access
KEYWORDS: 03B65
No abstract available
DOWNLOAD PAPER
The ancestral relation without classes.
Kenneth G. Lucey
Notre Dame J. Formal Logic 20 (2), 281-284, (April 1979) DOI: 10.1305/ndjfl/1093882533 Open Access
KEYWORDS: 04A05, 03A05
No abstract available
DOWNLOAD PAPER
Geach on atomicity and singular propositions.
J. David Wald
Notre Dame J. Formal Logic 20 (2), 285-294, (April 1979) DOI: 10.1305/ndjfl/1093882534 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Copi's method of deduction.
Frederick A. Johnson
Notre Dame J. Formal Logic 20 (2), 295-300, (April 1979) DOI: 10.1305/ndjfl/1093882535 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
Another way of diagramming switching circuits.
James F. Zartman
Notre Dame J. Formal Logic 20 (2), 301-308, (April 1979) DOI: 10.1305/ndjfl/1093882536 Open Access
KEYWORDS: 94C10
No abstract available
DOWNLOAD PAPER
A note on Kripke's distinction between rigid designators and nonrigid designators.
Sitansu S. Chakravarti
Notre Dame J. Formal Logic 20 (2), 309-313, (April 1979) DOI: 10.1305/ndjfl/1093882537 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Classes of universal decision elements using negative substitutions.
J. C. Muzio
Notre Dame J. Formal Logic 20 (2), 314-320, (April 1979) DOI: 10.1305/ndjfl/1093882538 Open Access
KEYWORDS: 03B05, 94C10
No abstract available
DOWNLOAD PAPER
An extended joint consistency theorem for free logic with equality.
Raymond D. Gumb
Notre Dame J. Formal Logic 20 (2), 321-335, (April 1979) DOI: 10.1305/ndjfl/1093882539 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
Necessary truth as analyticity, and the eliminability of monadic de re formulas.
Thomas Schwartz
Notre Dame J. Formal Logic 20 (2), 336-340, (April 1979) DOI: 10.1305/ndjfl/1093882540 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
Presupposition: an alternative approach.
B. L. Bunch
Notre Dame J. Formal Logic 20 (2), 341-354, (April 1979) DOI: 10.1305/ndjfl/1093882541 Open Access
KEYWORDS: 03A05, 00A25, 03B45
No abstract available
DOWNLOAD PAPER
Admissible sets and recursive equivalence types.
Carl E. Bredlau
Notre Dame J. Formal Logic 20 (2), 355-365, (April 1979) DOI: 10.1305/ndjfl/1093882542 Open Access
KEYWORDS: 03D60, 03D50
No abstract available
DOWNLOAD PAPER
A formal interpretation of Ł ukasiewicz' logics.
Michael Byrd
Notre Dame J. Formal Logic 20 (2), 366-368, (April 1979) DOI: 10.1305/ndjfl/1093882543 Open Access
KEYWORDS: 03B50
No abstract available
DOWNLOAD PAPER
${\rm R}$-mingle and beneath. Extensions of the Routley-Meyer semantics for ${\rm R}$.
J. Michael Dunn
Notre Dame J. Formal Logic 20 (2), 369-376, (April 1979) DOI: 10.1305/ndjfl/1093882544 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Sentential notations: unique decomposition.
Jordan Howard Sobel
Notre Dame J. Formal Logic 20 (2), 377-382, (April 1979) DOI: 10.1305/ndjfl/1093882545 Open Access
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
Material implication, confirmation, and counterfactuals.
Robert J. Farrell
Notre Dame J. Formal Logic 20 (2), 383-394, (April 1979) DOI: 10.1305/ndjfl/1093882546 Open Access
KEYWORDS: 03A05, 03B50
No abstract available
DOWNLOAD PAPER
Point monads and $P$-closed spaces.
Robert A. Herrmann
Notre Dame J. Formal Logic 20 (2), 395-400, (April 1979) DOI: 10.1305/ndjfl/1093882547 Open Access
KEYWORDS: 54J05, 03H05
No abstract available
DOWNLOAD PAPER
Local and global operators and many-valued modal logics.
Charles G. Morgan
Notre Dame J. Formal Logic 20 (2), 401-411, (April 1979) DOI: 10.1305/ndjfl/1093882548 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
A simple defense of material implication.
Lee C. Archie
Notre Dame J. Formal Logic 20 (2), 412-414, (April 1979) DOI: 10.1305/ndjfl/1093882549 Open Access
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
The approaches to set theory.
John Lake
Notre Dame J. Formal Logic 20 (2), 415-437, (April 1979) DOI: 10.1305/ndjfl/1093882550 Open Access
KEYWORDS: 04-03, 01A55, 03E30
No abstract available
DOWNLOAD PAPER
The decidability of one-variable propositional calculi.
M. D. Gladstone
Notre Dame J. Formal Logic 20 (2), 438-450, (April 1979) DOI: 10.1305/ndjfl/1093882551 Open Access
KEYWORDS: 03B05, 03B25, 03D03
No abstract available
DOWNLOAD PAPER
A model-theoretic account of confirmation.
John Paulos
Notre Dame J. Formal Logic 20 (2), 451-457, (April 1979) DOI: 10.1305/ndjfl/1093882552 Open Access
KEYWORDS: 03A05, 03B48
No abstract available
DOWNLOAD PAPER
Ł ukasiewicz's twin possibility functors.
Stanley J. Krolikoski
Notre Dame J. Formal Logic 20 (2), 458-460, (April 1979) DOI: 10.1305/ndjfl/1093882553 Open Access
KEYWORDS: 03B45, 03B50
No abstract available
DOWNLOAD PAPER
A deduction theorem for rejection theses in Ł ukasiewicz's system of modal logic.
Stanley J. Krolikoski
Notre Dame J. Formal Logic 20 (2), 461-464, (April 1979) DOI: 10.1305/ndjfl/1093882554 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 20, issue 2 (1979)
Notre Dame J. Formal Logic 20 (2), (April 1979) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top