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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
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 Open Access
No abstract available
DOWNLOAD PAPER
Back to Top