Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 6 > Issue 4
Notre Dame Journal of Formal Logic
VOL. 6 · NO. 4 | 1965
 
VIEW ALL ABSTRACTS +
Articles
A quaternary relation as the primitive notion in several geometries.
Shirley Dowdy
Notre Dame J. Formal Logic 6 (4), 241-295, (1965) DOI: 10.1305/ndjfl/1093958336 Open Access
KEYWORDS: 50.05, 02.00
No abstract available
DOWNLOAD PAPER
On predicate letter formulas which have no substitution instances provable in a first order language.
Kenneth Weston
Notre Dame J. Formal Logic 6 (4), 296-300, (1965) DOI: 10.1305/ndjfl/1093958337 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Some results on finite axiomatizability in modal logic.
E. J. Lemmon
Notre Dame J. Formal Logic 6 (4), 301-308, (1965) DOI: 10.1305/ndjfl/1093958338 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Systems classically axiomatized and properly contained in Lewis's ${\rm S}3$.
John Thomas Canty
Notre Dame J. Formal Logic 6 (4), 309-318, (1965) DOI: 10.1305/ndjfl/1093958339 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Leibniz's misunderstanding of Nisolius notion of `multudino'.
Ignacio Angelelli
Notre Dame J. Formal Logic 6 (4), 319-322, (1965) DOI: 10.1305/ndjfl/1093958340 Open Access
No abstract available
DOWNLOAD PAPER
Corrigendum and addendum to: ``A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice''.
William J. Frascella
Notre Dame J. Formal Logic 6 (4), 323-324, (1965) DOI: 10.1305/ndjfl/1093958341 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
The relation of weakly discrete to set and equinumerosity in mereology.
Robert E. Clay
Notre Dame J. Formal Logic 6 (4), 325-340, (1965) DOI: 10.1305/ndjfl/1093958342 Open Access
KEYWORDS: 02.99
No abstract available
DOWNLOAD PAPER
Back to Top