Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 21 > Issue 1
Notre Dame Journal of Formal Logic
VOL. 21 · NO. 1 | January 1980
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 21, issue 1 (1980)
Notre Dame J. Formal Logic 21 (1), (January 1980) Open Access
No abstract available
DOWNLOAD PAPER
Articles
A realist semantics for Cocchiarella's ${\bf T}^\ast$.
John Carson Simms
Notre Dame J. Formal Logic 21 (1), 1-32, (January 1980) DOI: 10.1305/ndjfl/1093882936 Open Access
KEYWORDS: 03B15, 03A05
No abstract available
DOWNLOAD PAPER
Substitutions for predicate variables and functional variables.
Hubert H. Schneider
Notre Dame J. Formal Logic 21 (1), 33-44, (January 1980) DOI: 10.1305/ndjfl/1093882937 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
Reflections on an extensionality theorem.
Philip Hugly
Notre Dame J. Formal Logic 21 (1), 45-50, (January 1980) DOI: 10.1305/ndjfl/1093882938 Open Access
KEYWORDS: 03A05, 03B10
No abstract available
DOWNLOAD PAPER
Towards an axiomatization of value theory.
P. E. Lauer
Notre Dame J. Formal Logic 21 (1), 51-77, (January 1980) DOI: 10.1305/ndjfl/1093882939 Open Access
KEYWORDS: 03A05, 90A07, 90A99
No abstract available
DOWNLOAD PAPER
The logic of relative modality and the paradoxes of deontic logic.
John Bryant
Notre Dame J. Formal Logic 21 (1), 78-88, (January 1980) DOI: 10.1305/ndjfl/1093882940 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Several possible systems of deontic weak and strong norms.
Patrice Bailhache
Notre Dame J. Formal Logic 21 (1), 89-100, (January 1980) DOI: 10.1305/ndjfl/1093882941 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
On propositional form.
George Englebretsen
Notre Dame J. Formal Logic 21 (1), 101-110, (January 1980) DOI: 10.1305/ndjfl/1093882942 Open Access
KEYWORDS: 03A05
No abstract available
DOWNLOAD PAPER
Junctions.
David W. Bennett
Notre Dame J. Formal Logic 21 (1), 111-118, (January 1980) DOI: 10.1305/ndjfl/1093882943 Open Access
KEYWORDS: 03B05, 03B10, 94C10
No abstract available
DOWNLOAD PAPER
Deductive completeness and conditionalization in systems of weak implication.
M. Richard Diaz Jr.
Notre Dame J. Formal Logic 21 (1), 119-130, (January 1980) DOI: 10.1305/ndjfl/1093882944 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Discourse between processes.
Jan Bergstra
Notre Dame J. Formal Logic 21 (1), 131-134, (January 1980) DOI: 10.1305/ndjfl/1093882945 Open Access
KEYWORDS: 68B20
No abstract available
DOWNLOAD PAPER
Generalized equivalence and the foundations of quasigroups.
T. A. McKee
Notre Dame J. Formal Logic 21 (1), 135-140, (January 1980) DOI: 10.1305/ndjfl/1093882946 Open Access
KEYWORDS: 03B10, 20N05
No abstract available
DOWNLOAD PAPER
Generalized equivalence and the phraseology of configuration theorems.
T. A. McKee
Notre Dame J. Formal Logic 21 (1), 141-147, (January 1980) DOI: 10.1305/ndjfl/1093882947 Open Access
KEYWORDS: 03B10, 51A30
No abstract available
DOWNLOAD PAPER
A class of two-place three-valued unary generators.
D. M. Miller, J. C. Muzio
Notre Dame J. Formal Logic 21 (1), 148-154, (January 1980) DOI: 10.1305/ndjfl/1093882948 Open Access
KEYWORDS: 03B50, 94D05
No abstract available
DOWNLOAD PAPER
A model-theoretic explication of the theses of Kuhn and Whorf.
John A. Paulos
Notre Dame J. Formal Logic 21 (1), 155-165, (January 1980) DOI: 10.1305/ndjfl/1093882949 Open Access
KEYWORDS: 03A05, 03B99
No abstract available
DOWNLOAD PAPER
Calculemus.
William H. Friedman
Notre Dame J. Formal Logic 21 (1), 166-174, (January 1980) DOI: 10.1305/ndjfl/1093882950 Open Access
KEYWORDS: 03B20
No abstract available
DOWNLOAD PAPER
On a tableau rule for identity.
Kathleen Johnson Wu
Notre Dame J. Formal Logic 21 (1), 175-178, (January 1980) DOI: 10.1305/ndjfl/1093882951 Open Access
KEYWORDS: 03B10
No abstract available
DOWNLOAD PAPER
A simple strong completeness proof for sentential logic.
Charles Silver
Notre Dame J. Formal Logic 21 (1), 179-181, (January 1980) DOI: 10.1305/ndjfl/1093882952 Open Access
KEYWORDS: 03B05
No abstract available
DOWNLOAD PAPER
Referential occurrence.
David E. Cooper
Notre Dame J. Formal Logic 21 (1), 182-188, (January 1980) DOI: 10.1305/ndjfl/1093882953 Open Access
KEYWORDS: 03A05, 03B45
No abstract available
DOWNLOAD PAPER
Lewis' postulate of existence disarmed.
Robert W. Murungi
Notre Dame J. Formal Logic 21 (1), 189-191, (January 1980) DOI: 10.1305/ndjfl/1093882954 Open Access
KEYWORDS: 03B45
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 21, issue 1 (1980)
Notre Dame J. Formal Logic 21 (1), (January 1980) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top