Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 5
Volume 5, Number 1, 1964
- Hans Zassenhaus:
Emil Artin, his life and his work. 1-9 - Kempachiro Ohashi:
A stronger form of a theorem of Friedberg. 10-12 - Henry A. Pogorzelski:
Commutative recursive word arithmetic in the alphabet of prime numbers. 13-23 - Thomas G. McLaughlin:
A note on pseudo doubly creative pairs. 24-26 - Andrés R. Raggio:
Direct consistency proof of Gentzen's system of natural deduction. 27-30 - Guido Küng:
Concrete and abstract properties. 31-36 - Mary Katherine Yntema:
A detailed argument for the Post-Linial theorems. 37-50 - Boleslaw Sobocinski:
A theorem of Sierpiński on triads and the axiom of choice. 51-58 - Ivo Thomas:
Modal systems in the neighbourhood of T. 59-61 - Federico M. Sioson:
Further axiomatizations of the Łukasiewicz three-valued calculus. 62-70 - Boleslaw Sobocinski:
Remarks about axiomatizations of certain modal systems. 71-80
Volume 5, Number 2, 1964
- Wolfgang Stegmüller:
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz. 81-112 - Vladeta Vuckovic:
On a class of regular sets. 113-124 - Richard Peters:
Two remarks concerning Menger's and Schultz' postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. 125-128 - George Goe:
Three axiom negation-alternation formulations of the truth-functional calculus. 129-132 - Harry A. Nielsen:
The bearer of ontological commitment. 133-138 - Boleslaw Sobocinski:
A note on Prior's systems in "The theory of deduction". 139-140 - Boleslaw Sobocinski:
On the propositional system A of Vučković and its extension. I. 141-153 - Robert E. Clay, S. K. Sehgal:
Boolean algebroids. 154-157 - Juliusz Reichbach:
A note about connection of the first-order functional calculus with many-valued propositional calculi. 158-160
Volume 5, Number 3, 1964
- Luis E. Sanchis:
Types in combinatory logic. 161-180 - Georges Kalinowski:
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. 181-190 - Lucio Chiaraviglio, Albert M. Sweet:
The pragmatics of truth functions. 191-198 - John Thomas Canty:
A natural deduction system for modal logic. 199-210 - R. A. Bull:
An axiomatization of Prior's modal calculus Q. 211-214 - A. N. Prior:
Axiomatisations of the modal calculus Q. 215-217 - Ivo Thomas:
A note on self-referential statements. 218-220 - Ivo Thomas:
Universal variable non-Tarskian functors. 221-222 - Boleslaw Sobocinski:
On the propositional system A of Vučković and its extension. II. 223-237 - Kenneth M. Sayre:
Syllogistic inference within the propositional calculus. 238-240
Volume 5, Number 4, 1964
- Rolf Schock:
Contributions to syntax, semantics, and the philosophy of science. 241-289 - Desmond Paul Henry:
Ockham, suppositio, and modern logic. 290-292 - Thomas E. Patton:
A liberalized system of quantificational deduction. 293-294 - William A. Wisdom:
Possibility-elimination in natural deduction. 295-298 - A. N. Prior:
K1, K2 and related modal systems. 299-304 - Boleslaw Sobocinski:
Modal system S4.4. 305-312 - Boleslaw Sobocinski:
Family K of the non-Lewis modal systems. 313-318 - Ivo Thomas:
Decision procedures for S20 and T0. 319-320
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
