Advanced Search
Home > Journals > Notre Dame J. Formal Logic > Volume 5 > Issue 3
Notre Dame Journal of Formal Logic
VOL. 5 · NO. 3 | 1964
 
VIEW ALL ABSTRACTS +
Articles
Types in combinatory logic.
Luis E. Sanchis
Notre Dame J. Formal Logic 5 (3), 161-180, (1964) DOI: 10.1305/ndjfl/1093957876
KEYWORDS: 02.85
No abstract available
DOWNLOAD PAPER
Obligation dérivée et logique déontique relationnelle. Remarques sur le système de G. H. von Wright et sur le développement de la logique déontique.
Georges Kalinowski
Notre Dame J. Formal Logic 5 (3), 181-190, (1964) DOI: 10.1305/ndjfl/1093957877
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
The pragmatics of truth functions.
Lucio Chiaraviglio, Albert M. Sweet
Notre Dame J. Formal Logic 5 (3), 191-198, (1964) DOI: 10.1305/ndjfl/1093957878
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
A natural deduction system for modal logic.
John Thomas Canty
Notre Dame J. Formal Logic 5 (3), 199-210, (1964) DOI: 10.1305/ndjfl/1093957879
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
An axiomatization of Prior's modal calculus $Q$.
R. A. Bull
Notre Dame J. Formal Logic 5 (3), 211-214, (1964) DOI: 10.1305/ndjfl/1093957880
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
Axiomatisations of the modal calculus $Q$.
A. N. Prior
Notre Dame J. Formal Logic 5 (3), 215-217, (1964) DOI: 10.1305/ndjfl/1093957881
KEYWORDS: 02.27
No abstract available
DOWNLOAD PAPER
A note on self-referential statements.
Ivo Thomas
Notre Dame J. Formal Logic 5 (3), 218-220, (1964) DOI: 10.1305/ndjfl/1093957882
No abstract available
DOWNLOAD PAPER
Universal variable non-Tarskian functors.
Ivo Thomas
Notre Dame J. Formal Logic 5 (3), 221-222, (1964) DOI: 10.1305/ndjfl/1093957883
KEYWORDS: 02.20
No abstract available
DOWNLOAD PAPER
On the propositional system $A$ of Vučković and its extension. II.
Bolesław Sobociński
Notre Dame J. Formal Logic 5 (3), 223-237, (1964) DOI: 10.1305/ndjfl/1093957884
KEYWORDS: 02.25
No abstract available
DOWNLOAD PAPER
Syllogistic inference within the propositional calculus.
Kenneth M. Sayre
Notre Dame J. Formal Logic 5 (3), 238-240, (1964) DOI: 10.1305/ndjfl/1093957885
No abstract available
DOWNLOAD PAPER
Back to Top