default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 7
Volume 7, Number 1, 1966
- Jules Vuillemin:
Sur les conditions qui permettent d'utiliser les matrices russelliennes des antinomies (1905) pour exprimer les théorèmes de limitations internes des formalismes. 1-19 - Franz von Kutschera:
Zur semantischen Begründung der klassischen und der intuitionistischen Logik. 20-47 - A. J. Baker:
Non-empty complex terms. 48-56 - Michael C. Gemignani:
Topological geometries and a new characterization of Rm. 57-100 - Albert A. Mullin:
On a proper class and related matters. 101-102 - Florencio G. Asenjo:
A calculus of antinomies. 103-105 - Henryk Fast:
A remark on continuous selectors. 106-107 - John Thomas Canty, Thomas W. Scharle:
Note on the singularies of S5. 108 - Ivan Boh:
Propositional connectives, supposition, and consequence in Paul of Pergola. 109-128
Volume 7, Number 2, 1966
- George Goe:
A reconstruction of formal logic. 129-157 - George Goe:
A reconstruction of formal logic. 158 - Hugues Leblanc:
Two separation theorems for natural deduction. 159-180 - Wolfgang Stegmüller:
Eine modelltheoretische Präzisierung der Wittgensteinschen Bildtheorie. 181-195 - William J. Frascella:
The construction of a Steiner triple system on sets of the power of the continuum without the axiom of choice. 196-202 - Joseph Barback:
A note on regressive isols. 203-205 - Michael D. Resnik:
A note on natural deduction. 206-208
Volume 7, Number 3, 1966
- Sister Mary Justin Markham:
A group-theoretic characterization of the ordinary and isotropic Euclidean planes. 209-238 - Gerald J. Massey:
An extension of Venn diagrams. 239-250 - Richard Routley:
Some things do not exist. 251-276 - Nicholas Rescher:
On modal renderings of intuitionistic propositional logic. 277-280 - Anjan Shukla:
A set of axioms for the propositional calculus with implication and non-equivalence. 281-286 - Rolf Schock:
A simple version of the generalized continuum hypothesis. 287-288
Volume 7, Number 4, 1966
- Arend Heyting:
In memoriam: Evert Willem Beth (1909-1964). 289-295 - E. J. Lemmon:
A note on Halldén-incompleteness. 296-300 - Albert A. Mullin:
C. S. S. Peirce and E. G. A. Husserl on the nature of logic. 301-304 - D. L. Székely:
On general purpose unifying automata. 305-322 - Vito F. Sinisi:
Leśniewski's analysis of Whitehead's theory of events. 323-327 - Woodrow Jaffee:
The syntax of projective geometry. 328-332 - Philip G. Calabrese:
The Menger algebras of 2-place functions in the 2-valued logic. 333-340 - Helen L. Skala:
The irreducible generating sets of 2-place functions in the 2-valued logic. 341-343 - Thomas W. Scharle:
Single axiom schemata for D and S. 344-348 - Melven R. Krom:
A property of sentences that define quasi-order. 349-352 - Charles D. Parsons:
A propositional calculus intermediate between the minimal calculus and the classical. 353-358 - Robert E. Clay:
On the definition of mereological class. 359-360 - John Trentman:
Leśniewski's ontology and some medieval logicians. 361-364 - Michael C. Gemignani:
On eliminating an unwanted axiom in the characterization of Rm using topological geometries. 365-366 - Michael C. Gemignani:
A note on Bd X. 367-368 - Ignacio Angelelli, Terrell Ward Bynum:
Note on Frege's Begriffsschrift. 369-370
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 2025-05-17 00:14 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:
