Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 6 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 6 · NO. 2 | 1965
 
VIEW ALL ABSTRACTS +
Articles
An augmented modal logic.
Leonard Goddard
Notre Dame J. Formal Logic 6 (2), 81-98, (1965) DOI: 10.1305/ndjfl/1093958148
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Modal logic with functorial variables and a contingent constant.
C. A. Meredith, A. N. Prior
Notre Dame J. Formal Logic 6 (2), 99-109, (1965) DOI: 10.1305/ndjfl/1093958149
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Remarks on the linguistics foundations of physics.
George L. Farre
Notre Dame J. Formal Logic 6 (2), 110-122, (1965) DOI: 10.1305/ndjfl/1093958150
No abstract available
DOWNLOAD PAPER
A set of axioms for the propositional calculus with implication and converse non-implication.
Anjan Shukla
Notre Dame J. Formal Logic 6 (2), 123-128, (1965) DOI: 10.1305/ndjfl/1093958151
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
On probability logics.
Rolf Schock
Notre Dame J. Formal Logic 6 (2), 129-134, (1965) DOI: 10.1305/ndjfl/1093958152
KEYWORDS: 60.02, 02.20
No abstract available
DOWNLOAD PAPER
On logic an existence.
Karel Lambert
Notre Dame J. Formal Logic 6 (2), 135-141, (1965) DOI: 10.1305/ndjfl/1093958153
No abstract available
DOWNLOAD PAPER
A modal extension of intuitionist logic.
R. A. Bull
Notre Dame J. Formal Logic 6 (2), 142-146, (1965) DOI: 10.1305/ndjfl/1093958154
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Church's theorem on the decision problem.
Thomas E. Patton
Notre Dame J. Formal Logic 6 (2), 147-153, (1965) DOI: 10.1305/ndjfl/1093958155
KEYWORDS: 02.74
No abstract available
DOWNLOAD PAPER
An intuitive interpretation of systems of four-valued logic.
Nicholas Rescher
Notre Dame J. Formal Logic 6 (2), 154-156, (1965) DOI: 10.1305/ndjfl/1093958156
No abstract available
DOWNLOAD PAPER
A note on certain set-theoretical formulas.
Bolesław Sobociński
Notre Dame J. Formal Logic 6 (2), 157-160, (1965) DOI: 10.1305/ndjfl/1093958157
KEYWORDS: 04.30
No abstract available
DOWNLOAD PAPER
Back to Top