Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 40
Volume 40 , Number 1, Winter 1999
- Michael Detlefsen:
Introduction to Special Issue on George S. Boolos. 1-2 - Charles D. Parsons:
George Boolos. 3-5 - Crispin Wright:
Is Hume's Principle Analytic? 6-30 - Solomon Feferman:
Logic, Logics, and Logicism. 31-54 - Darryl Jung:
Russell, Presupposition, and the Vicious-Circle Principle. 55-80 - John P. Burgess:
Which Modal Logic Is the Right One? 81-93 - Penelope Maddy:
Logic and the Discursive Intellect. 94-115 - Albert Visser:
Rules and Arithmetics. 116-140
Volume 40, Number 2, Spring 1999
- Marcus Kracht:
Modal Logics That Need Very Large Frames. 141-173 - Marcel Crabbé:
The 3-Stratifiable Theorems of NFU∞. 174-182 - M. Randall Holmes:
Subsystems of Quine's "New Foundations" with Predicativity Restrictions. 183-196 - Olivier Esser, Roland Hinnion:
Antifoundation and Transitive Closure in the System of Zermelo. 197-205 - Francesc Tomàs:
An Open Formalism against Incompleteness. 207-226 - Mladen Vukovic:
The Principles of Interpretability. 227-235 - Fabrice Correia:
Adequacy Results for Some Priorean Modal Propositional Logics. 236-249 - James Cargile:
Proposition and Tense. 250-257 - Allard M. Tamminga, Koji Tanaka:
A Natural Deduction System for First Degree Entailment. 258-272 - Gert-Jan C. Lokhorst:
Ernst Mally's Deontik (1926). 273-282 - John P. Burgess:
Book Review: Stewart Shapiro. Philosophy of Mathematics: Structure and Ontology. 283-291 - Stephen Pollard:
Book Review: Penelope Maddy. Naturalism in Mathematics. 293-306
Volume 40, Number 3 , Summer 1999
- André Nies
:
A New Spectrum of Recursive Models. 307-314 - Augustín Rayo, Gabriel Uzquiano:
Toward a Theory of Second-Order Consequence. 315-325 - Yoshihito Tanaka:
Kripke Completeness of Infinitary Predicate Multimodal Logics. 326-340 - Arthur W. Apter:
On the Consistency Strength of Two Choiceless Cardinal Patterns. 341-345 - Kyriakos Keremedis, Horst Herrlich:
Powers of 2. 346-351 - Reinhard Muskens:
On Partial and Paraconsistent Logics. 352-374 - Walter Alexandre Carnielli, João Marcos:
Limits for Paraconsistent Calculi. 375-390 - Alex Orenstein:
Reconciling Aristotle and Frege. 391-413 - Frederick A. Johnson:
Parry Syllogisms. 414-419 - Michael White:
Incommensurables and Incomparables: On the Conceptual Status and the Philosophical Use of Hyperreal Numbers. 420-446 - Craig Fraser:
Book Review: Paolo Mancuso. Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. 447-454 - Janet Folina:
Book Review: Michael Resnik. Mathematics as a Science of Patterns. 455-472
Volume 40, Number 4, Fall 1999
- Peter W. Woodruff, Terence Parsons:
Set Theory with Indeterminacy of Identity. 473-495 - Hannes Leitgeb:
Truth and the Liar in De Morgan-Valued Models. 496-514 - James Cain:
The Theory of Computability Developed in Terms of Satisfaction. 515-532 - Evgeni E. Zolin:
Completeness and Definability in the Logic of Noncontingency. 533-547 - Kyriakos Keremedis, Eleftherios Tachtsis:
Nonconstructive Properties of Well-Ordered T2 topological Spaces. 548-553 - Byeong-Uk Yi:
Descending Chains and the Contextualist Approach to Semantic Paradoxes. 554-567 - Christian Delhommé, Marianne Morillon:
Dependent Choices and Weak Compactness. 568-573 - Frederick A. Johnson:
Rejection and Truth-Value Gaps. 574-577 - Marcus Kracht:
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. 578-587
a service of 
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-06-10 21:26 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:
