default search action
Notre Dame Journal of Formal Logic, Volume 30
Volume 30, Number 1, Winter 1989
- Michael Dummett:
More about Thoughts. 1-19 - Johan van Benthem:
Notes on Modal Definability. 20-35 - Wayne D. Blizard:
Multiset Theory. 36-66 - Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti:
A Constructivism Based on Classical Truth. 67-90 - Alberto Peruzzi:
The Theory of Descriptions Revisited. 91-104 - Franco Montagna:
"Pathologies" in Two Syntactic Categories of Partial Maps. 105-116 - John K. Slaney:
On the Structure of De Morgan Monoids with Corollaries on Relevant Logic and Theories. 117-129 - Osamu Morikawa:
Some Modal Logics Based on a Three-Valued Logic. 130-137 - Patrick Cégielski:
The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. 138-150 - R. A. Bull:
Correction to "Survey of generalizations of Urquhart semantics". 151-153 - James C. Owings:
Corrigendum to "Diagonalization and the Recursion Theorem". 153
Volume 30, Number 2, Spring 1989
- Albert Visser:
Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. 161-196 - Charles Steinhorn, Carlo Toffalori:
The Boolean Spectrum of an o-Minimal Theory. 197-206 - James W. Garson:
Modularity and Relevant Logic. 207-223 - Kees Doets:
Monadic Π11-Theories of Π11-Properties. 224-240 - Peter M. Simons:
Combinators and Categorial Grammar. 241-261 - Balázs Biró:
Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension. 262-267 - Norbert Brunner
:
Set-Mappings on Dedekind Sets. 268-270 - Frederick A. Johnson:
Models for Modal Syllogisms. 271-284 - George F. Schumm:
Some Compactness Results for Modal Logic. 285-290 - John T. Kearns:
Lesniewski's Strategy and Modal Logic. 291-307
Volume 30, Number 3, Summer 1989
- Michael Detlefsen:
Introduction. 313 - Johan van Benthem:
Logical Constants Across Varying Types. 315-342 - Michael Byrd:
Russell, Logicism, and the Choice of Logical Constants. 343-361 - Kosta Dosen:
Logical Constants as Punctuation Marks. 362-381 - George Englebretsen:
Formatives. 382-389 - William G. Lycan:
Logical Constants and the Glory of Truth-Conditional Semantics. 390-400 - Timothy G. McCarthy:
Logical Form and Radical Interpretation. 401-419 - Grigori Mints:
The Completeness of Provable Realizability. 420-441 - Jan M. Smith:
Propositional Functions and Families of Types. 442-458 - Neil Tennant:
Truth Table Logic, with a Survey of Embeddability Results. 459-484
Volume 30, Number 4, Fall 1989
- Hugues Leblanc, Peter Roeper:
On Relativizing Kolmogorov's Absolute Probability Functions. 485-512 - Awad A. Iskander:
An Isomorphism Between Rings and Groups. 513-529 - Andreas Blass, Saharon Shelah
Near Coherence of Filters III: A Simplified Consistency Proof. 530-538 - R. Michael Canjar:
Cofinalities of Countable Ultraproducts: The Existence Theorem. 539-542 - Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti:
Some Results on Intermediate Constructive Logics. 543-562 - Ildikó Sain:
An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic. 563-573 - Fabio Bellissima:
Infinite Sets of Nonequivalent Modalities. 574-582 - Igor Urbas:
Paraconsistency and the ℂ-Systems of da Costa. 583-597 - Christopher Menzel:
On an Unsound Proof of the Existence of Possible Worlds. 598-603 - Richard L. Mendelsohn:
Objects and Existence: Reflections on Free Logic. 604-623 - Józef Dudek, Andrzej Kisielewicz:
On Finite Models of Regular Identities. 624-628
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-11-18 20:48 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: