default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 4
Volume 4, Number 1, 1963
- Zbigniew Jordan:
Logical determinism. 1-38 - Nuel D. Belnap Jr., Richmond H. Thomason:
A rule-completeness theorem. 39-43 - Thoralf Skolem:
Addendum to my article: "Proof of some theorems on recursively enumerable sets". 44-47 - Nicholas Rescher:
Avicenna on the logic of "conditional" propositions. 48-58 - Robert E. Clay:
A standard form for Łukasiewicz many-valued logics. 59-66 - Boleslaw Sobocinski:
A note on the generalized continuum hypothesis. II. 67-79 - Richard Vesley:
On strengthening intuitionistic logic. 80
Volume 4, Number 2, 1963
- Hugues Leblanc:
Proof routines for the propositional calculus. 81-104 - Thomas E. Patton:
A system of quantificational deduction. 105-112 - Alberto Moreno:
Propositional logic in Juan de Santo Tomás. 113-134 - Czeslaw Lejewski:
A note on a problem concerning the axiomatic foundations of mereology. 135-139 - Gerald J. Massey:
Note on Copi's system. 140-141 - John Thomas Canty:
Completeness of Copi's method of deduction. 142-144 - Albert M. Sweet:
Toward a pragmatical explication of epistemic modalities. 145-150 - Ivo Thomas:
S1° and Brouwerian axioms. 151-152 - Ivo Thomas:
S1° and generalized S5-axioms. 153-154 - Boleslaw Sobocinski:
A note on modal systems. 155-157 - Albert A. Mullin:
On differences of certain structured sets. 158-160
Volume 4, Number 3, 1963
- Thoralf Skolem:
Studies on the axiom of comprehension. 162-170 - C. A. Meredith, A. N. Prior:
Notes on the axiomatics of the propositional calculus. 171-187 - Karl Menger, Martin Schultz:
Postulates for the substitutive algebra of the 2-place functors in the 2-valued calculus of propositions. 188-192 - Florencio G. Asenjo:
Relations irreducible to classes. 193-200 - Elliott Mendelson:
On some recent criticism of Church's Thesis. 201-205 - S. K. Sehgal:
Jacobson theory of ringoids. 206-215 - Setsuo Saito:
Truth value assignment in predicate calculus of first order. 216-223 - Charles E. Caton:
A stipulation of a modal propositional calculus in terms of modalized truth-values. 224-226 - J. Jay Zeman:
Bases for S4 and S4.2 without added axioms. 227-230 - Ivo Thomas:
A final note on S1° and the Brouwerian axioms. 231-232 - Boleslaw Sobocinski:
A note on the generalized continuum hypothesis. III. 233-240
Volume 4, Number 4, 1963
- Ivan Boh:
Walter Burleigh's hypothetical syllogistic. 241-269 - Hilary Putnam:
A note on constructible sets of integers. 270-273 - John R. Myhill:
Variations on a theme of Bernays. 274-282 - Raouf Doss:
On Gödel's proof that V=L implies the generalized continuum hypothesis. 283-287 - Karel Lambert:
Existential import revisited. 288-292 - S. Summersbee, A. Walters:
Programming the functions of formal logic. II. Multi-valued logics. 293-305 - Kenneth M. Sayre:
Propositional logic in Plato's Protagoras. 306-312 - Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason:
On not strengthening intuitionistic logic. 313-320
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-10-31 20:16 CET 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:
