default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 24
Volume 24, Number 1, January 1983
- Steven J. Wagner:
Frege's definition of number. 1-21 - Arnold W. Miller:
On the Borel classification of the isomorphism class of a countable model. 22-34 - Chris Mortensen:
The validity of disjunctive syllogism is not so easily proved. 35-40 - John P. Burgess:
Common sense and "relevance". 41-53 - René Lavendhomme, Thierry Lucas:
A note on intuitionistic models of ZF. 54-66 - La Verne Shelton:
A diachronic semantics for inexact reference. 67-88 - Norbert Brunner
:
Sequential compactness and the axiom of choice. 89-92 - John P. Burgess:
Why I am not a nominalist. 93-105 - N. L. Wilson:
The transitivity of implication in tree logic. 106-114 - David F. Austin:
Plantinga's theory of proper names. 115-132 - John Cowles, Robert LaGrange:
Generalized Archimedean fields. 133-140 - Anjan Shukla:
Consistent, independent, and distinct propositions. III. Modalities in S6. 141-142 - John L. Hickman:
A note on Conway multiplication of ordinals. 143-145 - Herbert E. Hendry:
Minimally incomplete sets of Łukasiewiczian truth functions. 146-150 - Gregory Mellema:
On measures and distinguishability. 151-158
Volume 24, Number 2, April 1983
- Hugues Leblanc, Charles G. Morgan:
Probabilistic semantics for intuitionistic logic. 161-180 - Stephen D. Comer:
A new foundation for the theory of relations. 181-187 - Bhavani M. Thuraisingham:
Cylindrical decision problems for system functions. 188-198 - Robert Cowen:
Compactness via prime semilattices. 199-204 - Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos:
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. 205-223 - Robin Smith:
Completeness of an ecthetic syllogistic. 224-232 - Steven T. Kuhn:
An axiomatization of predicate functor logic. 233-241 - Bhavani M. Thuraisingham:
Some elementary closure properties of n-cylinders. 242-254 - John W. Dawson:
The published work of Kurt Gödel: an annotated bibliography. 255-284
Volume 24, Number 3, July 1983
- Hugues Leblanc, Charles G. Morgan:
Probability theory, intuitionism, semantics, and the Dutch book argument. 289-304 - Norbert Brunner:
The axiom of choice in topology. 305-317 - B. Jack Copeland:
Tense trees: a tree system for Kt. 318-322 - M. J. Cresswell:
KM and the finite model property. 323-327 - Bhavani M. Thuraisingham:
The concept of n-cylinder and its relationship to simple sets. 328-336 - Ralph H. Moon:
Correction of the semantics for S4.03 and a note on literal disjunctive symmetry. 337-345 - I. L. Humberstone:
Inaccessible worlds. 346-352 - Sabine Koppelberg, J. Donald Monk:
Homogeneous Boolean algebras with very nonsymmetric subalgebras. 353-356 - E. J. Lowe:
A simplification of the logic of conditionals. 357-366 - Alberto Zanardo:
On the equivalence between the calculi MCν and ECν+1 of A. Bressan. 367-388 - Isabel Loureiro:
Prime spectrum of a tetravalent modal algebra. 389-394 - Zoran Markovic:
Some preservation results for classical and intuitionistic satisfiability in Kripke models. 395-398 - István Németi:
The class of neat-reducts of cylindric algebras is not a variety but is closed with respect to HP. 399-409 - Zdzislaw Dywan:
The connective of necessity of modal logic S5 is metalogical. 410-414
Volume 24, Number 4, October 1983
- Zarko Mijajlovic:
Submodels and definable points in models of Peano arithmetic. 417-425 - I. L. Humberstone, J. F. A. K. van Benthem:
Halldén-completeness by gluing of Kripke frames. 426-430 - Ross T. Brady:
The simple consistency of a set theory based on the logic CSQ. 431-449 - Robert K. Meyer:
A note on ℝ-> matrices. 450-472 - Stephen Read:
Burgess on relevance: a fallacy indeed. 473-481 - Leon Harkleroad:
Manifolds allowing RET arithmetic. 482-484 - David Meredith:
Separating minimal, intuitionist, and classical logic. 485-490 - Leonard Goddard, Mark Johnston:
The nature of reflexive paradoxes. I. 491-508 - Robert Dwyer, Errol P. Martin, Robert K. Meyer:
The fundamental S-theorem - a corollary. 509-516 - Ieke Moerdijk:
On the Freyd cover of a topos. 517-526 - Anand Pillay:
ℵ0-categoricity over a predicate. 527-536
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 2026-05-17 00:03 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:
