Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 16 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 16 · NO. 4 | October 1975
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 16, issue 4 (1975)
Notre Dame J. Formal Logic 16 (4), (October 1975) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Arithmetic as a study of formal systems.
Jonathan P. Seldin
Notre Dame J. Formal Logic 16 (4), 449-464, (October 1975) DOI: 10.1305/ndjfl/1093891880 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
The logic of the synthetic a priori.
James Wilkinson Miller
Notre Dame J. Formal Logic 16 (4), 465-475, (October 1975) DOI: 10.1305/ndjfl/1093891881 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Counterfactuals.
Donald Nute
Notre Dame J. Formal Logic 16 (4), 476-482, (October 1975) DOI: 10.1305/ndjfl/1093891882 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Paradox-free deontic logics.
Richard L. Purtill
Notre Dame J. Formal Logic 16 (4), 483-490, (October 1975) DOI: 10.1305/ndjfl/1093891883 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Another system of natural deduction.
Herbert E. Hendry
Notre Dame J. Formal Logic 16 (4), 491-495, (October 1975) DOI: 10.1305/ndjfl/1093891884 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
On two immediate inferences by limitation.
John Robert Baker
Notre Dame J. Formal Logic 16 (4), 496-500, (October 1975) DOI: 10.1305/ndjfl/1093891885 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
A note on reflexiveness.
David Marans
Notre Dame J. Formal Logic 16 (4), 501-506, (October 1975) DOI: 10.1305/ndjfl/1093891886 Open Access
KEYWORDS: 02J10
No abstract available
DOWNLOAD PAPER
Nice implicational axioms.
Ivo Thomas
Notre Dame J. Formal Logic 16 (4), 507-508, (October 1975) DOI: 10.1305/ndjfl/1093891887 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Remark on a logic of preference.
George F. Schumm
Notre Dame J. Formal Logic 16 (4), 509-510, (October 1975) DOI: 10.1305/ndjfl/1093891888 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Algebraic logic with generalized quantifiers.
Charles C. Pinter
Notre Dame J. Formal Logic 16 (4), 511-516, (October 1975) DOI: 10.1305/ndjfl/1093891889 Open Access
KEYWORDS: 02B20, 02J15
No abstract available
DOWNLOAD PAPER
The development of Lewis' theory of strict implication.
E. M. Curley
Notre Dame J. Formal Logic 16 (4), 517-527, (October 1975) DOI: 10.1305/ndjfl/1093891890 Open Access
KEYWORDS: 02-03, 02C10
No abstract available
DOWNLOAD PAPER
$S5$ with the CBF.
Robert P. McArthur
Notre Dame J. Formal Logic 16 (4), 528-530, (October 1975) DOI: 10.1305/ndjfl/1093891891 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
The logic of intending and believing.
Peter A. Facione
Notre Dame J. Formal Logic 16 (4), 531-535, (October 1975) DOI: 10.1305/ndjfl/1093891892 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Rescher on `e!'.
George Englebretsen
Notre Dame J. Formal Logic 16 (4), 536-538, (October 1975) DOI: 10.1305/ndjfl/1093891893 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
A note on universally free description theory.
A. P. Rao
Notre Dame J. Formal Logic 16 (4), 539-542, (October 1975) DOI: 10.1305/ndjfl/1093891894 Open Access
KEYWORDS: 02B10, 02A05
No abstract available
DOWNLOAD PAPER
A deductive argument with a specific premise and a general conclusion.
Nelson Pole
Notre Dame J. Formal Logic 16 (4), 543-544, (October 1975) DOI: 10.1305/ndjfl/1093891895 Open Access
No abstract available
DOWNLOAD PAPER
Propositions as premises of syllogisms in medieval logic.
Jorge J. E. Gracia
Notre Dame J. Formal Logic 16 (4), 545-547, (October 1975) DOI: 10.1305/ndjfl/1093891896 Open Access
KEYWORDS: 02-03, 02B05
No abstract available
DOWNLOAD PAPER
Note on the $C$-calculus.
Constantin Milici
Notre Dame J. Formal Logic 16 (4), 548, (October 1975) DOI: 10.1305/ndjfl/1093891897 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Concerning an alleged Sheffer function.
Gerald J. Massey
Notre Dame J. Formal Logic 16 (4), 549-550, (October 1975) DOI: 10.1305/ndjfl/1093891898 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
A correction to my paper ``A sole sufficient operator''.
T. C. Wesselkamper
Notre Dame J. Formal Logic 16 (4), 551, (October 1975) DOI: 10.1305/ndjfl/1093891899 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order.
Jekeri Okee
Notre Dame J. Formal Logic 16 (4), 552-554, (October 1975) DOI: 10.1305/ndjfl/1093891900 Open Access
KEYWORDS: 02G05
No abstract available
DOWNLOAD PAPER
On the use of more than two-element Boolean valued models.
Alexander Abian
Notre Dame J. Formal Logic 16 (4), 555-564, (October 1975) DOI: 10.1305/ndjfl/1093891901 Open Access
KEYWORDS: 02K05, 04-01
No abstract available
DOWNLOAD PAPER
Identity.
R. B. Redmon
Notre Dame J. Formal Logic 16 (4), 565-577, (October 1975) DOI: 10.1305/ndjfl/1093891902 Open Access
No abstract available
DOWNLOAD PAPER
Arithmetic operations on ordinals.
Martin M. Zuckerman
Notre Dame J. Formal Logic 16 (4), 578-582, (October 1975) DOI: 10.1305/ndjfl/1093891903 Open Access
KEYWORDS: 04A10
No abstract available
DOWNLOAD PAPER
Non-definability of certain semantic properties of programs.
Richard A. DeMillo
Notre Dame J. Formal Logic 16 (4), 583-590, (October 1975) DOI: 10.1305/ndjfl/1093891904 Open Access
KEYWORDS: 68A05, 02H05
No abstract available
DOWNLOAD PAPER
The programmatic semantics of binary predicator calculi.
Jorge Baralt-Torrijos, Lucio Chiaraviglio, William Grosky
Notre Dame J. Formal Logic 16 (4), 591-596, (October 1975) DOI: 10.1305/ndjfl/1093891905 Open Access
KEYWORDS: 02C20
No abstract available
DOWNLOAD PAPER
On a conservative attitude toward some naive semantic principles.
Paul Vincent Spade
Notre Dame J. Formal Logic 16 (4), 597-602, (October 1975) DOI: 10.1305/ndjfl/1093891906 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
Lehmann on the rules of the invalid syllogisms.
Charles Turek
Notre Dame J. Formal Logic 16 (4), 603-604, (October 1975) DOI: 10.1305/ndjfl/1093891907 Open Access
No abstract available
DOWNLOAD PAPER
Generalization of a result of Halldén.
Robert V. Kohn
Notre Dame J. Formal Logic 16 (4), 605-606, (October 1975) DOI: 10.1305/ndjfl/1093891908 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
In defense of Copi
Yudit Rosenberg
Notre Dame J. Formal Logic 16 (4), 607, (October 1975) DOI: 10.1305/ndjfl/1093891909 Open Access
KEYWORDS: 02-01
No abstract available
DOWNLOAD PAPER
Back Matter
Erratum: ``An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice''.
Charles C. Davis
Notre Dame J. Formal Logic 16 (4), 608, (October 1975) Open Access
KEYWORDS: 02K20, 02B15
No abstract available
DOWNLOAD PAPER
Erratum: ``On the theory of inconsistent formal systems''.
Newton C. A. da Costa
Notre Dame J. Formal Logic 16 (4), 608, (October 1975) Open Access
KEYWORDS: 02K05, 02C99, 02K10
No abstract available
DOWNLOAD PAPER
Erratum: ``Concerning the proper axiom for $S4.04$ and some related systems''.
R. I. Goldblatt
Notre Dame J. Formal Logic 16 (4), 608, (October 1975) Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Errata for volumes 14, 15 and 16.
Notre Dame J. Formal Logic 16 (4), 608, (October 1975) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 16, issue 4 (1975)
Notre Dame J. Formal Logic 16 (4), (October 1975) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top