Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 16 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 16 · NO. 2 | April 1975
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 16, issue 2 (1975)
Notre Dame J. Formal Logic 16 (2), (April 1975) Open Access
No abstract available
DOWNLOAD PAPER
Articles
An investigation concerning the Hilbert-Sierpiński logical form of the axiom of choice.
Charles C. Davis
Notre Dame J. Formal Logic 16 (2), 145-184, (April 1975) DOI: 10.1305/ndjfl/1093891699 Open Access
KEYWORDS: 02K20, 02B15
No abstract available
DOWNLOAD PAPER
A formal theory of sortal quantification.
Leslie Stevenson
Notre Dame J. Formal Logic 16 (2), 185-207, (April 1975) DOI: 10.1305/ndjfl/1093891700 Open Access
KEYWORDS: 02B10
No abstract available
DOWNLOAD PAPER
The general decision problem for Markov algorithms with axiom.
C. E. Hughes
Notre Dame J. Formal Logic 16 (2), 208-216, (April 1975) DOI: 10.1305/ndjfl/1093891701 Open Access
KEYWORDS: 02F30, 02E10, 02G05
No abstract available
DOWNLOAD PAPER
A new look at erotetic communication.
Nicholas J. Moutafakis
Notre Dame J. Formal Logic 16 (2), 217-228, (April 1975) DOI: 10.1305/ndjfl/1093891702 Open Access
No abstract available
DOWNLOAD PAPER
Normal forms in modal logic.
Kit Fine
Notre Dame J. Formal Logic 16 (2), 229-237, (April 1975) DOI: 10.1305/ndjfl/1093891703 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Concrete computability.
Thomas H. Payne
Notre Dame J. Formal Logic 16 (2), 238-244, (April 1975) DOI: 10.1305/ndjfl/1093891704 Open Access
KEYWORDS: 02F27, 02E15
No abstract available
DOWNLOAD PAPER
Reductio-ad-absurdum: a family feud between Copi and Scherer.
Lyman C. D. Kulathungam
Notre Dame J. Formal Logic 16 (2), 245-254, (April 1975) DOI: 10.1305/ndjfl/1093891705 Open Access
KEYWORDS: 02-01, 02A05
No abstract available
DOWNLOAD PAPER
Set-valued set theory. II.
E. William Chapin Jr.
Notre Dame J. Formal Logic 16 (2), 255-267, (April 1975) DOI: 10.1305/ndjfl/1093891706 Open Access
KEYWORDS: 02K10
No abstract available
DOWNLOAD PAPER
Simple implicational development.
Ivo Thomas
Notre Dame J. Formal Logic 16 (2), 268, (April 1975) DOI: 10.1305/ndjfl/1093891707 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Corrections for my paper: ``A model for Leśniewski's mereology in functions''.
Robert E. Clay
Notre Dame J. Formal Logic 16 (2), 269-270, (April 1975) DOI: 10.1305/ndjfl/1093891708 Open Access
KEYWORDS: 02H10
No abstract available
DOWNLOAD PAPER
Some extensions of $S3$.
K. E. Pledger
Notre Dame J. Formal Logic 16 (2), 271-272, (April 1975) DOI: 10.1305/ndjfl/1093891709 Open Access
KEYWORDS: 02C10
No abstract available
DOWNLOAD PAPER
Creative definitions in propositional calculi.
V. Frederick Rickey
Notre Dame J. Formal Logic 16 (2), 273-294, (April 1975) DOI: 10.1305/ndjfl/1093891710 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
A generalised propositional calculus.
Peter Jablon
Notre Dame J. Formal Logic 16 (2), 295-297, (April 1975) DOI: 10.1305/ndjfl/1093891711 Open Access
KEYWORDS: 02B05
No abstract available
DOWNLOAD PAPER
Sommers' proof that something exists.
George Englebretsen
Notre Dame J. Formal Logic 16 (2), 298-300, (April 1975) DOI: 10.1305/ndjfl/1093891712 Open Access
KEYWORDS: 02A05
No abstract available
DOWNLOAD PAPER
A note on the truth-table for $p \supset q$.
Robert J. Farrell
Notre Dame J. Formal Logic 16 (2), 301-304, (April 1975) DOI: 10.1305/ndjfl/1093891713 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 16, issue 2 (1975)
Notre Dame J. Formal Logic 16 (2), (April 1975) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top