Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 3 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 3 · NO. 3 | 1962
 
VIEW ALL ABSTRACTS +
Articles
Recursive linear orderings and hyperarithmetical functions.
Shih-chao Liu
Notre Dame J. Formal Logic 3 (3), 129-132, (1962) DOI: 10.1305/ndjfl/1093957229 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Programming the functions of formal logic.
S. Summersbee, A. Walters
Notre Dame J. Formal Logic 3 (3), 133-141, (1962) DOI: 10.1305/ndjfl/1093957230 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Quantification and Ł -modality.
A. N. Prior
Notre Dame J. Formal Logic 3 (3), 142-147, (1962) DOI: 10.1305/ndjfl/1093957231 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Some theorems on the structure of mutant sets and their applications to group and ring theories.
Albert A. Mullin
Notre Dame J. Formal Logic 3 (3), 148-151, (1962) DOI: 10.1305/ndjfl/1093957232 Open Access
KEYWORDS: 08.30
No abstract available
DOWNLOAD PAPER
A theory of translation and transformation of languages.
D. L. Székely
Notre Dame J. Formal Logic 3 (3), 152-166, (1962) DOI: 10.1305/ndjfl/1093957233 Open Access
KEYWORDS: 94.50
No abstract available
DOWNLOAD PAPER
A set-theoretical formula equivalent to the axiom of choice.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (3), 167-169, (1962) DOI: 10.1305/ndjfl/1093957234 Open Access
KEYWORDS: 02.60
No abstract available
DOWNLOAD PAPER
Finite limitations on Dummet's LC.
Ivo Thomas
Notre Dame J. Formal Logic 3 (3), 170-174, (1962) DOI: 10.1305/ndjfl/1093957235 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
What Pierce means by leading principles.
Otto Bird
Notre Dame J. Formal Logic 3 (3), 175-178, (1962) DOI: 10.1305/ndjfl/1093957236 Open Access
No abstract available
DOWNLOAD PAPER
A decision procedure for positive implication.
Michael D. Resnik
Notre Dame J. Formal Logic 3 (3), 179-186, (1962) DOI: 10.1305/ndjfl/1093957237 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Six new sets of independent axioms for distributive lattices with $O$ and $I$.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (3), 187-192, (1962) DOI: 10.1305/ndjfl/1093957238 Open Access
KEYWORDS: 06.50
No abstract available
DOWNLOAD PAPER
An Anselmian regress.
Desmond Paul Henry
Notre Dame J. Formal Logic 3 (3), 193-198, (1962) DOI: 10.1305/ndjfl/1093957239 Open Access
No abstract available
DOWNLOAD PAPER
Solutions of five modal problems of Sobociński.
Ivo Thomas
Notre Dame J. Formal Logic 3 (3), 199-200, (1962) DOI: 10.1305/ndjfl/1093957240 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Structural rules of inference.
Hugues Leblanc
Notre Dame J. Formal Logic 3 (3), 201-205, (1962) DOI: 10.1305/ndjfl/1093957241 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
An axiom-system for $\{K;\,N\}$-propositional calculus related to Simons' axiomatization of ${\rm S}3$.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (3), 206-208, (1962) DOI: 10.1305/ndjfl/1093957242 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Back to Top