Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 33
Volume 33, Number 1, Winter 1992
- Saharon Shelah
:
The Hanf numbers of stationary logic II: Comparison with other logics. 1-12 - William C. Purdy:
Surface reasoning. 13-36 - George Englebretsen:
Linear Diagrams for Syllogisms (with Relatitonals). 37-69 - Juan Barba Escriba:
Two formal systems for situation semantics. 70-88 - Timothy Williamson:
An Alternative Rule of disjunction in modal logic. 89-100 - Allen Hazen:
The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order. 101-111 - Marcel Crabbé:
On NFU. 112-119 - Renling Jin:
A model in which every Kurepa Tree is thinck. 120-125 - Bernard Linsky:
A note on the "carving up content" principle of Frege's theory of sense. 126-135 - Thomas M. Northon-Smith:
A note on Philip Kitscher's analysis of mathematical truths. 136-139 - C. Barry Jay:
Coherence in category theory and the Church-Rosser property. 140-143 - Gary P. Shannon:
A note on some weak forms of the axiom of choise. 144-147 - Seiki Akama:
The Gentzen-Kripke construction of the intermediate logic LQ. 148-153 - Steven Buechler:
Book review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models. 154-158
Volume 33, Number 2, Spring 1992
- Frank O. Wagner:
More on R. 159-174 - D. W. Kuecker, Michael C. Laskowski:
On Generic Structures. 175-183 - Jean-Pierre Marquis:
Approximations and Logic. 184-196 - Edwin D. Mares, Robert K. Meyer:
The Admissibility of γ in R4. 197-206 - Richard Sylvan:
On Interpreting Thruth Tables and Relevant Truth Table Logic. 207-216 - James H. Schmerl:
End Extensions of Models of Arithmetic. 216-220 - Nocholas Denyer:
Pure Second-Order Logic. 220-224 - Alberto Zanardo:
A Note about the Axioms for Branching-Time Logic. 225-228 - Henry Africk:
Classical Logic, Intuitionistic Logic and the Peirce Rule. 229-235 - Paul E. Howard:
The Axiom of Choice for Countable Collections of Countable Sets Does Not Imply the Countable Union Theorem. 236-243 - Vladimir V. Rybakov:
A Modal Analog for Glivenko's Theorem and its Applications. 244-248 - Maarten de Rijke:
Unary Interpretation Logic. 249-272 - Gregory L. McColm:
Eventualy Periodicity and "One-Dimensional" Queries. 273-290
Volume 33, Number 3, Summer 1992
- Alexandra Shlapentokh:
A Diophantine Definition of Rational Integers over Some Rings of Algebraic Numbers. 299-321 - Margarita Otero:
Generic Models of the Theory of Normal Z-Rings. 322-331 - Michael C. Laskowski:
The Categoricity Spectrum of Pseudo-elementary Classes. 332-347 - William C. Purdy:
A Variable Free Logic for Mass Terms. 348-358 - Mitio Takano:
Cut-Free Systems for Three-Valued Modal Logics. 359-368 - Ian P. Gent:
A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC. 369-382 - Heikki Tuuri:
Relative Speration Theorems for Lκ+κ. 383-401 - Décio Krause:
On a Quasi-Set Theory. 402-411 - Zbigniew Bonikowski:
A Certain Conception of the Calculus of Rough Sets. 412-121 - Greg Restall:
A Note on Naive Set Theory in LP. 422-432 - George C. Nelson:
Constructive Ultraproducts and Isomorphisms of Recursively Saturated Ultrapowers. 433-441 - Steve Giambrone:
Real Reduced Models for Relevant Logics without WI. 442-449 - George Weaver:
Unifying Some Modifications of the Henkin Construction. 450-460
Volume 33, Number 4, Fall 1992
- David Isles:
What Evidence is There that 265536 is a Natural Number? 465-480 - Sakaé Fuchino:
On Potential Embedding and Versions of Martin's Axiom. 481-492 - François Lepage:
Partial Functions in Type Theory. 493-516 - Serge Lapierre:
A Functional Partial Semantics for Intensional Logic. 517-541 - Domenico Zambella:
On the Proofs of Arithmetical Completeness for Interpretability Logic. 542-551 - Tomasz F. Skura:
Refutation Calculi for Certain Intermediate Propositional Logics. 552-560 - John K. Stanley, Robert K. Meyer:
A Structurally Complete Fragment of Relevant Logic. 561-566 - Frederick A. Johnson:
Counting Functions. 567-568 - Xuegang Wang:
The minimal System L'0. 569-575 - Sven Ove Hansson:
The Difference Model of Voting. 576-592 - William C. Purdy:
On the Question "Do we Need Indentity?". 593-603
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-05-13 21:13 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:
