default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 6
Volume 6, Number 1, 1965
- Joseph J. Sikora:
Some thomistic reflections on the foundations of formal logic. 1-38 - Milton Fisk:
The logic of either-or. 39-50 - Rolf Schock:
What is science? 51-53 - Ann H. Ihrig:
The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability. 54-72 - Juliusz Reichbach:
On the connection of the first-order functional calculus with ℵ0 propositional calculus. 73-80
Volume 6, Number 2, 1965
- Leonard Goddard:
An augmented modal logic. 81-98 - C. A. Meredith, A. N. Prior:
Modal logic with functorial variables and a contingent constant. 99-109 - George L. Farre:
Remarks on the linguistics foundations of physics. 110-122 - Anjan Shukla:
A set of axioms for the propositional calculus with implication and converse non-implication. 123-128 - Rolf Schock:
On probability logics. 129-134 - Karel Lambert:
On logic an existence. 135-141 - R. A. Bull:
A modal extension of intuitionist logic. 142-146 - Thomas E. Patton:
Church's theorem on the decision problem. 147-153 - Nicholas Rescher:
An intuitive interpretation of systems of four-valued logic. 154-156 - Boleslaw Sobocinski:
A note on certain set-theoretical formulas. 157-160
Volume 6, Number 3, 1965
- Waclaw Sierpinski:
Sur un théorème équivalent à l'axiome du choix. 161-162 - William J. Frascella:
A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice. 163-179 - Vladeta Vuckovic:
Note on a theorem of W. Sierpiński. 180-182 - Celso de Renna e Souza:
A note on continuous games, the notion of strategy and Zermelo's axiom. 183-189 - John Thomas Canty:
A note on the axiomatization of Rubin's system (S). 190-192 - R. D. Lee:
The substitution schema in recursive arithmetic. 193-200 - Ivo Thomas:
The written liar and Thomas Oliver. 201-208 - Thomas W. Scharle:
Axiomatization of propositional calculus with Sheffer functors. 209-217 - Albert A. Mullin:
Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic. 218-222 - Florencio G. Asenjo:
The arithmetic of the term-relation number theory. 223-228 - Thomas G. McLaughlin:
Strong reducibility on hypersimple sets. 229-234 - Rolf Schock:
On induction. 235-240
Volume 6, Number 4, 1965
- Shirley Dowdy:
A quaternary relation as the primitive notion in several geometries. 241-295 - Kenneth Weston:
On predicate letter formulas which have no substitution instances provable in a first order language. 296-300 - E. J. Lemmon:
Some results on finite axiomatizability in modal logic. 301-308 - John Thomas Canty:
Systems classically axiomatized and properly contained in Lewis's S3. 309-318 - Ignacio Angelelli:
Leibniz's misunderstanding of Nisolius notion of 'multudino'. 319-322 - William J. Frascella:
Corrigendum and addendum to: "A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice". 323-324 - Robert E. Clay:
The relation of weakly discrete to set and equinumerosity in mereology. 325-340
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-12-22 19:02 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:
