Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 12 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 12 · NO. 4 | October 1971
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 12, issue 4 (1971)
Notre Dame J. Formal Logic 12 (4), (October 1971) Open Access
No abstract available
DOWNLOAD PAPER
Articles
La science de la logique.
Anton Dumitriu
Notre Dame J. Formal Logic 12 (4), 385-405, (October 1971) DOI: 10.1305/ndjfl/1093894360 Open Access
KEYWORDS: 00A25
No abstract available
DOWNLOAD PAPER
The logic of essentially ordered causes.
R. G. Wengert
Notre Dame J. Formal Logic 12 (4), 406-422, (October 1971) DOI: 10.1305/ndjfl/1093894361 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Ordinal theory in a conservative extension of predicate calculus.
John H. Harris
Notre Dame J. Formal Logic 12 (4), 423-428, (October 1971) DOI: 10.1305/ndjfl/1093894362 Open Access
KEYWORDS: 02K35
No abstract available
DOWNLOAD PAPER
The strong decidability of cut logics. II. Generalizations.
E. William Chapin Jr.
Notre Dame J. Formal Logic 12 (4), 429-434, (October 1971) DOI: 10.1305/ndjfl/1093894363 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Some results on generalized truth-tables.
Ralph C. Applebee, Biswambhar Pahi
Notre Dame J. Formal Logic 12 (4), 435-440, (October 1971) DOI: 10.1305/ndjfl/1093894364 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Elementary logic without referential quantification.
John Thomas Canty
Notre Dame J. Formal Logic 12 (4), 441-446, (October 1971) DOI: 10.1305/ndjfl/1093894365 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
The consistency of the axioms of abstraction and extensionality in a three-valued logic.
Ross T. Brady
Notre Dame J. Formal Logic 12 (4), 447-453, (October 1971) DOI: 10.1305/ndjfl/1093894366 Open Access
KEYWORDS: 02C05
No abstract available
DOWNLOAD PAPER
Copi's method of deduction again.
M. C. Bradley
Notre Dame J. Formal Logic 12 (4), 454-458, (October 1971) DOI: 10.1305/ndjfl/1093894367 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A mistake in Copi's discussion of completeness.
W. C. Wilcox
Notre Dame J. Formal Logic 12 (4), 459-460, (October 1971) DOI: 10.1305/ndjfl/1093894368 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Certain counterexamples to the construction of combinatorial designs on infinite sets.
William J. Frascella
Notre Dame J. Formal Logic 12 (4), 461-466, (October 1971) DOI: 10.1305/ndjfl/1093894369 Open Access
KEYWORDS: 04A20
No abstract available
DOWNLOAD PAPER
A model for Leśniewski's mereology in functions.
Robert E. Clay
Notre Dame J. Formal Logic 12 (4), 467-478, (October 1971) DOI: 10.1305/ndjfl/1093894370 Open Access
KEYWORDS: 02C99
No abstract available
DOWNLOAD PAPER
Some methods of formal proofs. III.
Juliusz Reichbach
Notre Dame J. Formal Logic 12 (4), 479-482, (October 1971) DOI: 10.1305/ndjfl/1093894371 Open Access
KEYWORDS: 02B15
No abstract available
DOWNLOAD PAPER
A diagrammatic treatment of syllogistic.
M. B. Smyth
Notre Dame J. Formal Logic 12 (4), 483-488, (October 1971) DOI: 10.1305/ndjfl/1093894372 Open Access
No abstract available
DOWNLOAD PAPER
The extensional pragmatics of commands.
Nicholas J. Moutafakis
Notre Dame J. Formal Logic 12 (4), 489-498, (October 1971) DOI: 10.1305/ndjfl/1093894373 Open Access
No abstract available
DOWNLOAD PAPER
A generalization of the Gentzen Hauptsatz.
Luis E. Sanchis
Notre Dame J. Formal Logic 12 (4), 499-504, (October 1971) DOI: 10.1305/ndjfl/1093894374 Open Access
KEYWORDS: 02D99
No abstract available
DOWNLOAD PAPER
Sur une propriété de préservation.
Jean Drabbe
Notre Dame J. Formal Logic 12 (4), 505-506, (October 1971) DOI: 10.1305/ndjfl/1093894375 Open Access
KEYWORDS: 02H05, 08A20
No abstract available
DOWNLOAD PAPER
A proof of a theorem of Ł ukasiewicz.
Ivo Thomas
Notre Dame J. Formal Logic 12 (4), 507-508, (October 1971) DOI: 10.1305/ndjfl/1093894376 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Henkin style completeness proofs in theories lacking negation.
John L. Pollock
Notre Dame J. Formal Logic 12 (4), 509-511, (October 1971) DOI: 10.1305/ndjfl/1093894377 Open Access
KEYWORDS: 02B15
No abstract available
DOWNLOAD PAPER
Back Matter
Errata.
Notre Dame J. Formal Logic 12 (4), 512, (October 1971) Open Access
No abstract available
DOWNLOAD PAPER
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 12, issue 4 (1971)
Notre Dame J. Formal Logic 12 (4), (October 1971) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top