Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 8 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 8 · NO. 3 | July 1967
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 8, issue 3 (1967)
Notre Dame J. Formal Logic 8 (3), (July 1967) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Functionals defined by recursion.
Luis Elpidio Sanchis
Notre Dame J. Formal Logic 8 (3), 161-174, (July 1967) DOI: 10.1305/ndjfl/1093956080 Open Access
KEYWORDS: 02.18
No abstract available
DOWNLOAD PAPER
Unsolvable problems for equational theories.
Peter Perkins
Notre Dame J. Formal Logic 8 (3), 175-185, (July 1967) DOI: 10.1305/ndjfl/1093956081 Open Access
KEYWORDS: 02.74
No abstract available
DOWNLOAD PAPER
A Henkin completeness for $T$.
M. J. Cresswell
Notre Dame J. Formal Logic 8 (3), 186-190, (July 1967) DOI: 10.1305/ndjfl/1093956082 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Some completeness results for intermediate propositional logics.
C. G. McKay
Notre Dame J. Formal Logic 8 (3), 191-194, (July 1967) DOI: 10.1305/ndjfl/1093956083 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Syllogistic without existence.
John Bacon
Notre Dame J. Formal Logic 8 (3), 195-219, (July 1967) DOI: 10.1305/ndjfl/1093956084 Open Access
KEYWORDS: 02.10
No abstract available
DOWNLOAD PAPER
A characterization of S$^m$ by means of topological geometries.
Michael C. Gemignani
Notre Dame J. Formal Logic 8 (3), 220-224, (July 1967) DOI: 10.1305/ndjfl/1093956085 Open Access
KEYWORDS: 50.05
No abstract available
DOWNLOAD PAPER
On the independence of certain axioms in the definition of an $m$-arrangement.
Michael C. Gemignani
Notre Dame J. Formal Logic 8 (3), 225-226, (July 1967) DOI: 10.1305/ndjfl/1093956086 Open Access
KEYWORDS: 50.05, 57.00
No abstract available
DOWNLOAD PAPER
Implicationless wffs. in IC.
C. G. McKay
Notre Dame J. Formal Logic 8 (3), 227-228, (July 1967) DOI: 10.1305/ndjfl/1093956087 Open Access
KEYWORDS: 02.23
No abstract available
DOWNLOAD PAPER
The Craig interpolation lemma.
Burton Dreben, Hilary Putnam
Notre Dame J. Formal Logic 8 (3), 229-233, (July 1967) DOI: 10.1305/ndjfl/1093956088 Open Access
KEYWORDS: 02.18
No abstract available
DOWNLOAD PAPER
Omitting the replacement schema in recursive arithmetic.
I. J. Heath
Notre Dame J. Formal Logic 8 (3), 234-238, (July 1967) DOI: 10.1305/ndjfl/1093956089 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Decision problem in the classical logic.
Eugen Mihăilescu
Notre Dame J. Formal Logic 8 (3), 239-253, (July 1967) DOI: 10.1305/ndjfl/1093956090 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Leibnitz's preference for an intensional logic (A reply to Mr. Parkinson).
Walter H. O'Briant
Notre Dame J. Formal Logic 8 (3), 254-256, (July 1967) DOI: 10.1305/ndjfl/1093956091 Open Access
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 8, issue 3 (1967)
Notre Dame J. Formal Logic 8 (3), (July 1967) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top