Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 10 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 10 · NO. 3 | July 1969
 
VIEW ALL ABSTRACTS +
Front Matter
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 10, issue 3 (1969)
Notre Dame J. Formal Logic 10 (3), (July 1969) Open Access
No abstract available
DOWNLOAD PAPER
Articles
Selection functions for recursive functionals.
Thomas J. Grilliot
Notre Dame J. Formal Logic 10 (3), 225-234, (July 1969) DOI: 10.1305/ndjfl/1093893706 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Semi-Boolean lattices.
William C. Nemitz
Notre Dame J. Formal Logic 10 (3), 235-238, (July 1969) DOI: 10.1305/ndjfl/1093893707 Open Access
KEYWORDS: 06.30
No abstract available
DOWNLOAD PAPER
Leśniewski and Frege on collective classes.
Vito F. Sinisi
Notre Dame J. Formal Logic 10 (3), 239-246, (July 1969) DOI: 10.1305/ndjfl/1093893708 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Modal systems in which necessity is ``factorable''.
J. Jay Zeman
Notre Dame J. Formal Logic 10 (3), 247-256, (July 1969) DOI: 10.1305/ndjfl/1093893709 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Complete modalization in $S4.4$ and $S4.0.4$.
J. Jay Zeman
Notre Dame J. Formal Logic 10 (3), 257-260, (July 1969) DOI: 10.1305/ndjfl/1093893710 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
On some open questions of B. Sobociński.
G. F. Schumm
Notre Dame J. Formal Logic 10 (3), 261-262, (July 1969) DOI: 10.1305/ndjfl/1093893711 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
On a modal system of D. C. Makinson and B. Sobociński.
G. F. Schumm
Notre Dame J. Formal Logic 10 (3), 263-265, (July 1969) DOI: 10.1305/ndjfl/1093893712 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Equational postulates for the Sheffer stroke.
C. A. Meredith
Notre Dame J. Formal Logic 10 (3), 266-270, (July 1969) DOI: 10.1305/ndjfl/1093893713 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Propositional calculus in implication and non-equivalence.
A. N. Prior
Notre Dame J. Formal Logic 10 (3), 271-272, (July 1969) DOI: 10.1305/ndjfl/1093893714 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
On the calculus ${\rm MCC}$.
A. N. Prior
Notre Dame J. Formal Logic 10 (3), 273-274, (July 1969) DOI: 10.1305/ndjfl/1093893715 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Note on the mortality problem for shift state trees.
Michael Anderson
Notre Dame J. Formal Logic 10 (3), 275-276, (July 1969) DOI: 10.1305/ndjfl/1093893716 Open Access
KEYWORDS: 94.40
No abstract available
DOWNLOAD PAPER
Examination of the axiomatic foundations of a theory of change. II.
Laurent Larouche
Notre Dame J. Formal Logic 10 (3), 277-284, (July 1969) DOI: 10.1305/ndjfl/1093893717 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Equational characterization of Nelson algebra.
Diana Brignole
Notre Dame J. Formal Logic 10 (3), 285-297, (July 1969) DOI: 10.1305/ndjfl/1093893718 Open Access
KEYWORDS: 02.40
No abstract available
DOWNLOAD PAPER
An extension of negationless logic.
J. Kent Minichiello
Notre Dame J. Formal Logic 10 (3), 298-302, (July 1969) DOI: 10.1305/ndjfl/1093893719 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
A semi-completeness theorem.
Stephen L. Bloom
Notre Dame J. Formal Logic 10 (3), 303-308, (July 1969) DOI: 10.1305/ndjfl/1093893720 Open Access
KEYWORDS: 02.77
No abstract available
DOWNLOAD PAPER
Terminal functors permissible with syllogistic.
C. A. Meredith
Notre Dame J. Formal Logic 10 (3), 309-312, (July 1969) DOI: 10.1305/ndjfl/1093893721 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
An economy in the formation rules for quantification theory.
Harry V. Stopes-Roe
Notre Dame J. Formal Logic 10 (3), 313-316, (July 1969) DOI: 10.1305/ndjfl/1093893722 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
The non-existence of a certain combinatorial design on an infinite set.
William J. Frascella
Notre Dame J. Formal Logic 10 (3), 317-323, (July 1969) DOI: 10.1305/ndjfl/1093893723 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
Leśniewski's ontology and some medieval logicians.
Desmond Paul Henry
Notre Dame J. Formal Logic 10 (3), 324-326, (July 1969) DOI: 10.1305/ndjfl/1093893724 Open Access
No abstract available
DOWNLOAD PAPER
A theory of categorical syllogism.
Setsuo Saito
Notre Dame J. Formal Logic 10 (3), 327-330, (July 1969) DOI: 10.1305/ndjfl/1093893725 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
A reduction procedure for Sheffer stroke formulas.
Robert D. Carnes
Notre Dame J. Formal Logic 10 (3), 331-335, (July 1969) DOI: 10.1305/ndjfl/1093893726 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Corrigendum to my paper: ``A propositional calculus intermediate between the minimal calculus and the classical''.
Charles Parsons
Notre Dame J. Formal Logic 10 (3), 336, (July 1969) DOI: 10.1305/ndjfl/1093893727 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Back Matter
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 10, issue 3 (1969)
Notre Dame J. Formal Logic 10 (3), (July 1969) Open Access
No abstract available
DOWNLOAD PAPER
Back to Top