default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 27
Volume 27, Number 1, January 1986
- Saharon Shelah
, Charles Steinhorn:
On the nonaxiomatizability of some logics by finitely many schemas. 1-11 - Melven R. Krom:
A linearly ordered topological space that is not normal. 12-13 - Ermanno Bencivenga:
Analyticity and analytical truth. 14-19 - Peter Forrest:
The logic of free acts and the powers of God. 20-38 - Alan H. Mekler, Saharon Shelah:
Stationary logic and its friends. II. 39-50 - Robert J. Farrell:
Implication and presupposition. 51-61 - George Englebretsen:
Czeżowski on wild quantity. 62-65 - Richard Statman:
Solving functional equations at higher types: some examples and some theorems. 66-74 - Melvin Fitting:
Notes on the mathematical aspects of Kripke's theory of truth. 75-88 - Leon Harkleroad:
Iterated images on manifolds. 89-92 - Bruce E. R. Thompson:
Syllogisms with statistical quantifiers. 93-103 - George Englebretsen:
Singular/general. 104-107 - George F. Schumm:
Some failures of interpolation in modal logic. 108-110 - Matt Kaufmann, Saharon Shelah:
The Hanf number of stationary logic. 111-123 - Daniel H. Cohen:
A new axiomatization of Belnap's conditional assertion. 124-132 - Paolo Dau:
Russell's first theory of denoting and quantification. 133-166
Volume 27, Number 2, April 1986
- Kit Fine:
Analytic implication. 169-179 - Arnon Avron:
On purely relevant logics. 180-194 - Chris Mortensen:
Reply to Burgess and to Read. 195-200 - Arnon Avron:
On an implication connective of RM. 201-209 - Charles McCarty:
Subcountability under realizability. 210-220 - Charles B. Daniels:
A story semantics for implication. 221-246 - Ermanno Bencivenga, Karel Lambert:
A free logic with simple and complex predicates. 247-256 - Kim B. Bruce:
Model constructions in stationary logic. II. Definable ultrapowers. 257-262 - Saharon Shelah:
On power of singular cardinals. 263-299
Volume 27, Number 3, July 1986
- Jerry A. Fodor:
Information and association. 307-323 - Jon Barwise:
Information and circumstance. 324-338 - David Harrah:
Message semantics. 339-348 - Scott Soames:
Incomplete definite descriptions. 349-375 - Romane Clark:
Predication and paronymous modifiers. 376-392 - Thomas J. McKay:
His burning pants. 393-400 - Nathan Salmón:
Reflexivity. 401-429 - Steven J. Wagner:
California semantics meets the great fact. 430-455
Volume 27, Number 4, October 1986
- Alan Weir:
Classical harmony. 459-482 - Daniel J. Dougherty:
Gentzen systems, resolution, and literal trees. 483-503 - Krister Segerberg:
Modal logics with functional alternative relations. 504-522 - Matthias Baaz:
Kripke-type semantics for da Costa's paraconsistent logic Cω. 523-527 - Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen:
Finite Kripke models of HA are locally PA. 528-532 - Josep Maria Font:
Modality and possibility in some intuitionistic modal logics. 533-546 - A. S. Troelstra:
Strong normalization for typed terms with surjective pairing. 547-550 - Zdzislaw Dywan:
A new variant of the Gödel-Mal'cev theorem for the classical propositional calculus and correction to my paper: "The connective of necessity of modal logic S5 is metalogical". 551-555 - Alberto Zanardo:
On the characterizability of the frames for the "unpreventability of the present and the past". 556-564 - Richard Butrick:
Systems of sentence logic with trans-atomic units. 565-571 - Martin M. Zuckerman:
Sums of finitely many ordinals of various kinds. 572-578 - Andreas Blass:
Near coherence of filters. I. Cofinal equivalence of models of arithmetic. 579-591 - Guus Broesterhuizen, Jedrzej Wierzejewski:
Identities and indiscernibility. 592-605
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-02-07 23:53 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:
