Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 5 > Issue 2
Notre Dame Journal of Formal Logic
VOL. 5 · NO. 2 | 1964
 
VIEW ALL ABSTRACTS +
Articles
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.
Wolfgang Stegmüller
Notre Dame J. Formal Logic 5 (2), 81-112, (1964) DOI: 10.1305/ndjfl/1093957800 Open Access
KEYWORDS: 02.52
No abstract available
DOWNLOAD PAPER
On a class of regular sets.
Vladeta Vučković
Notre Dame J. Formal Logic 5 (2), 113-124, (1964) DOI: 10.1305/ndjfl/1093957801 Open Access
KEYWORDS: 02.88
No abstract available
DOWNLOAD PAPER
Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the $2$-place functors in the $2$-valued calculus of propositions.
Richard Peters
Notre Dame J. Formal Logic 5 (2), 125-128, (1964) DOI: 10.1305/ndjfl/1093957802 Open Access
KEYWORDS: 02.40
No abstract available
DOWNLOAD PAPER
Three axiom negation-alternation formulations of the truth-functional calculus.
George Goe
Notre Dame J. Formal Logic 5 (2), 129-132, (1964) DOI: 10.1305/ndjfl/1093957803 Open Access
KEYWORDS: 02.12
No abstract available
DOWNLOAD PAPER
The bearer of ontological commitment.
Harry A. Nielsen
Notre Dame J. Formal Logic 5 (2), 133-138, (1964) DOI: 10.1305/ndjfl/1093957804 Open Access
No abstract available
DOWNLOAD PAPER
A note on Prior's systems in ``The theory of deduction''.
Bolesław Sobociński
Notre Dame J. Formal Logic 5 (2), 139-140, (1964) DOI: 10.1305/ndjfl/1093957805 Open Access
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
On the propositional system $A$ of Vučković and its extension. I.
Bolesław Sobociński
Notre Dame J. Formal Logic 5 (2), 141-153, (1964) DOI: 10.1305/ndjfl/1093957806 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Boolean algebroids.
R. E. Clay, S. K. Sehgal
Notre Dame J. Formal Logic 5 (2), 154-157, (1964) DOI: 10.1305/ndjfl/1093957807 Open Access
KEYWORDS: 06.60
No abstract available
DOWNLOAD PAPER
A note about connection of the first-order functional calculus with many-valued propositional calculi.
Juliusz Reichbach
Notre Dame J. Formal Logic 5 (2), 158-160, (1964) DOI: 10.1305/ndjfl/1093957808 Open Access
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Back to Top