Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 3 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 3 · NO. 2 | 1962
 
VIEW ALL ABSTRACTS +
Articles
Proof of some theorems on recursively enumerable sets.
Thoralf Skolem
Notre Dame J. Formal Logic 3 (2), 65-74, (1962) DOI: 10.1305/ndjfl/1093957149 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Four types of general recursive well-orderings.
Shih Chao Liu
Notre Dame J. Formal Logic 3 (2), 75-78, (1962) DOI: 10.1305/ndjfl/1093957150 Open Access
KEYWORDS: 02.70
No abstract available
DOWNLOAD PAPER
Intuitionism reconsidered.
Nuel D. Belnap Jr., Hugues Leblanc
Notre Dame J. Formal Logic 3 (2), 79-82, (1962) DOI: 10.1305/ndjfl/1093957151 Open Access
KEYWORDS: 02.23
No abstract available
DOWNLOAD PAPER
A study in Burleigh: Tractatus de regulis generalibus consequentiarum.
Ivan Boh
Notre Dame J. Formal Logic 3 (2), 83-101, (1962) DOI: 10.1305/ndjfl/1093957152 Open Access
KEYWORDS: 01.15
No abstract available
DOWNLOAD PAPER
On the connection of the first-order functional calculus with many-valued propositional calculi.
Juliusz Reichbach
Notre Dame J. Formal Logic 3 (2), 102-107, (1962) DOI: 10.1305/ndjfl/1093957153 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
On the infinity of positive logic.
Ivo Thomas
Notre Dame J. Formal Logic 3 (2), 108, (1962) DOI: 10.1305/ndjfl/1093957154 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
A note on the regular and irregular modal systems of Lewis.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (2), 109-113, (1962) DOI: 10.1305/ndjfl/1093957155 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A simple proof of functional completeness in many-valued logics based on Ł ukasiewicz's $C$ and $N$.
Robert E. Clay
Notre Dame J. Formal Logic 3 (2), 114-117, (1962) DOI: 10.1305/ndjfl/1093957156 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
A note on a weakened Goldbach-like conjecture.
Albert A. Mullin
Notre Dame J. Formal Logic 3 (2), 118-119, (1962) DOI: 10.1305/ndjfl/1093957157 Open Access
KEYWORDS: 10.47, 02.00
No abstract available
DOWNLOAD PAPER
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.
Storrs McCall
Notre Dame J. Formal Logic 3 (2), 120-122, (1962) DOI: 10.1305/ndjfl/1093957158 Open Access
KEYWORDS: 02.23
No abstract available
DOWNLOAD PAPER
On the generalized Brouwerian axioms.
Bolesław Sobociński
Notre Dame J. Formal Logic 3 (2), 123-128, (1962) DOI: 10.1305/ndjfl/1093957159 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Back to Top