Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 11
Volume 11, Number 1, January 1970
- M. D. Gladstone:
On the number of variables in the axioms. 1-15 - Ivo Thomas:
Final word on a shortest implicational axiom. 16 - Earline Jennifer Ashworth:
Some notes on syllogistic in the sixteenth and seventeenth centuries. 17-33 - J. Herbert Blackhurst:
Syllogistic and non-syllogistic aspects of the comparative argument. 34-36 - George Goe:
Reconstructing formal logic: Further developments and considerations. 37-75 - George Boolos:
A proof of the Löwenheim-Skolem theorem. 76-78 - Robert H. Cowen:
A new proof of the compactness theorem for propositional logic. 79-80 - Albert Sade:
Sur les axiomes de Götlind. 81-88 - Inge Dapunt:
Zur Frage der Existenzvoraussetzungen in der Logik. 89-96 - Douglas Dorrough:
A note on primary and secondary syncategoremata. 97-98 - Sibajiban:
A remark on note on duality. 99-100 - Michael C. Gemignani:
A characterization of a spherical m-arrangement. 101-105 - Nuel Belnap, Storrs McCall:
Every functionally complete m-valued logic has a Post-complete axiomatization. 106 - Hermann F. Schott:
Generalizability of the propositional and predicate calculi to infinite-valued calculi. 107-128
Volume 11, Number 2, April 1970
- William Tuthill Parry:
In memoriam: Clarence Irving Lewis (1883-1964). 129-140 - Anjan Shukla:
Decision procedures for Lewis system S1 and related modal systems. 141-180 - Robert K. Meyer:
E and S4. 181-199 - Ralph C. Applebee, Biswambhar Pahi:
An unsolvable problem concerning implicational calculi. 200-202 - Alex Blum:
The missing premiss. 203-204 - Robert E. Clay:
Affine geometry with S. Dowdy's "trapezoid" as primitive. 205-219 - Herman Rubin, Jean E. Rubin:
Corrigendum to our paper: "A theorem on n-tuples which is equivalent to the well-ordering theorem". 220 - John R. Gregg:
Axiomatic quasi-natural deduction. 221-228 - Henry C. Byerly, Charles J. Merchant:
New algorithms for the statement and class calculi. 229-240 - Rangaswamy V. Setlur:
The product of implication and counter-implication systems. 241-248 - Rangaswamy V. Setlur:
On the equivalence of strong and weak validity of rule schemes in the two-valued propositional calculus. 249-253 - William C. Wilcox:
On infinite matrices and the paradoxes of material implication. 254-256
Volume 11, Number 3, July 1970
- H. Julian Wadleigh:
Expressibility in type theory. 257-288 - Richard Routley:
Non-existence does not exist. 289-320 - Douglas Dorrough:
A logical calculus of analogy involving functions of order 2. 321-336 - Richard L. Poss:
A note on a lemma of J. W. Addison. 337-339 - Gerald J. Massey:
Binary closure-algebraic operations that are functionally complete. 340-342 - Boleslaw Sobocinski:
Note on G. J. Massey's closure-algebraic operation. 343-346 - Boleslaw Sobocinski:
Certain extensions of modal system S4. 347-368 - Wilhelm K. Essler:
Ein nichtkonstruktiver Beweis des ersten ε-theorems. 369-371 - John H. Harris:
On a problem of Th. Skolem. 372-374 - Martin M. Zuckerman:
Locating vertices of trees. 375-378 - John A. Winnie:
The completeness of Copi's system of natural deduction. 379-382 - Boleslaw Sobocinski:
Note on Zeman's modal system S4.04. 383-384
Volume 11, Number 4, October 1970
- Alberto M. Dou:
Logical and historical remarks on Saccheri's geometry. 385-415 - Wilhelm K. Essler:
Über Intensionen und Modalitäten. 416-424 - Tibor Katrinák:
Remarks on the W. C. Nemitz's paper "Semi-Boolean lattices". 425-430 - John Christopher Kotelly:
Context logic. I. Fundamental concepts, notations, and derived notions. 431-446 - R. L. Goodstein:
Polynomials with computable coefficients. 447-448 - Alexander Abian:
Completeness of the generalized propositional calculus. 449-452 - Luiz Monteiro:
Les algèbres de Heyting et de Lukasiewicz trivalentes. 453-466 - Martin W. Bunder:
A paradox in illative combinatory logic. 467-470 - Robert E. Clay:
The dependence of mereological axiom. 471-472 - Florencio G. Asenjo:
Generalized reals. 473-476 - George E. Collins, J. D. Halpern:
On the interpretability of arithmetic in set theory. 477-483 - William Russell Belding:
A note on the intuitionist fan theorem. 484-486 - Chung-ying Cheng:
Referential involvements of number words. 487-496 - Elvin Rasof:
The Carrollian matrix. 497-504 - Richard L. Purtill:
Four-valued tables and modal logic. 505-511
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 04:43 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:
