Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 4 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 4 · NO. 2 | 1963
 
VIEW ALL ABSTRACTS +
Articles
Proof routines for the propositional calculus.
Hugues Leblanc
Notre Dame J. Formal Logic 4 (2), 81-104, (1963) DOI: 10.1305/ndjfl/1093957500 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
A system of quantificational deduction.
Thomas E. Patton
Notre Dame J. Formal Logic 4 (2), 105-112, (1963) DOI: 10.1305/ndjfl/1093957501 Open Access
KEYWORDS: 02.16
No abstract available
DOWNLOAD PAPER
Propositional logic in Juan de Santo Tomás.
Alberto Moreno
Notre Dame J. Formal Logic 4 (2), 113-134, (1963) DOI: 10.1305/ndjfl/1093957502 Open Access
KEYWORDS: 02.12, 01.18
No abstract available
DOWNLOAD PAPER
A note on a problem concerning the axiomatic foundations of mereology.
Czesław Lejewski
Notre Dame J. Formal Logic 4 (2), 135-139, (1963) DOI: 10.1305/ndjfl/1093957503 Open Access
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
Note on Copi's system.
Gerald J. Massey
Notre Dame J. Formal Logic 4 (2), 140-141, (1963) DOI: 10.1305/ndjfl/1093957504 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Completeness of Copi's method of deduction.
John Thomas Canty
Notre Dame J. Formal Logic 4 (2), 142-144, (1963) DOI: 10.1305/ndjfl/1093957505 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
Toward a pragmatical explication of epistemic modalities.
Albert M. Sweet
Notre Dame J. Formal Logic 4 (2), 145-150, (1963) DOI: 10.1305/ndjfl/1093957506 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
S$1\deg $ and Brouwerian axioms.
Ivo Thomas
Notre Dame J. Formal Logic 4 (2), 151-152, (1963) DOI: 10.1305/ndjfl/1093957507 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
S$1\deg$ and generalized S$5$-axioms.
Ivo Thomas
Notre Dame J. Formal Logic 4 (2), 153-154, (1963) DOI: 10.1305/ndjfl/1093957508 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A note on modal systems.
Bolesław Sobociński
Notre Dame J. Formal Logic 4 (2), 155-157, (1963) DOI: 10.1305/ndjfl/1093957509 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
On differences of certain structured sets.
Albert A. Mullin
Notre Dame J. Formal Logic 4 (2), 158-160, (1963) DOI: 10.1305/ndjfl/1093957510 Open Access
KEYWORDS: 04.60
No abstract available
DOWNLOAD PAPER
Back to Top