default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 39
Volume 39, Number 1, Winter 1998
- John P. Burgess, Allen Hazen:
Predicative Logic and Formal Arithmetic. 1-17 - Wim Ruitenburg:
Basic Predicate Calculus. 18-46 - Alexander Bochman
:
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. 47-73 - Xuegang Wang, Peter L. Mott:
A Variant of Thomason's First-Order Logic CF Based on Situations. 74-93 - H. Naruse, Bayu Surarso, Hiroakira Ono:
A Syntactic Approach to Maksimova's Principle of Variable Separation for some Substructural Logics. 94-113 - Arthur Sullivan:
Singular Propositions and Singular Thoughts. 114-127 - Timothy Williamson:
Continuum Many Maximal Consistent Normal Bimodal Logics with Inverses. 128-134 - Jean-Yves Béziau:
Idempotent Full Paraconsistent Negations are not Algebraizable. 135-139 - James H. Schmerl:
Recursive Models and the Divisibility Poset. 140-148 - Aladdin M. Yaqub:
Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth. 149-155
Volume 39, Number 2, Spring 1998
- Reed Solomon:
Reverse Mathematics and Fully Ordered Groups. 157-189 - Holger Sturm:
Interpolation and Preservation in MLω1. 190-211 - Mohammad Ardeshir, Mojtaba Moniri:
Intuitionistic Open Induction and Least Number Principle and the Buss Operator. 212-220 - Wilfrid Hodges:
The Laws of Distribution for Syllogisms. 221-230 - Fabio Bellissima, Saverio Cittadini:
Duality and Completeness for US-Logics. 231-242 - Lloyd Humberstone:
Note on Supervenience and Definability. 243-252 - Maarten Marx, Carlos Areces:
Failure of Interpolation in Combined Modal Logics. 253-273 - John P. Burgess:
On a Consistent Subsystem of Frege's Grundgesetze. 274-278 - Aladdin M. Yaqub:
Book Review: Marian David. Correspondence and Disquotation: An Essay on the Nature of Truth. 279-285
Volume 39, Number 3, Summer 1998
- Krister Segerberg:
Irrevocable Belief Revision in Dynamic Doxastic Logic. 287-306 - Eugenio Chinchilla:
A Model of R23 inside a Subexponential Time Resource. 307-324 - Akito Tsuboi, Kentaro Wakai:
On Interpretability of Almost Linear Orderings. 325-331 - Eduardo L. Fermé, Ricardo Oscar Rodríguez:
Semi-Contraction: Axioms and Construction. 332-345 - Wallace A. Murphree:
Numerical Term Logic. 346-362 - Zlatan Damnjanovic:
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive ω-Rule. 363-388 - Leon Horsten:
A Kripkean Approach to Unknowability and Truth. 389-405 - Bernhard Heinemann:
Topological Modal Logics Satisfying Finite Chain Conditions. 406-421 - Stephen Pollard:
Homeomorphism and the Equivalence of Logical Systems. 422-435 - Jean-Pierre Marquis:
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.. 436-445
Volume 39, Number 4, Fall 1998
- Carlo Toffalori:
Lattice Ordered O-Minimal Structures. 447-463 - Jan A. Bergstra, Alban Ponse:
Bochvar-McCarthy Logic and Process Algebra. 464-484 - Ming Xu:
Uncompactness of Stit Logics Containing Generalized Refref Conditionals. 485-506 - Enrique Casanovas, Byunghan Kim:
A Supersimple Nonlow Theory. 507-518 - John Chisholm, Michael Moses:
An Undecidable Linear Order That Is n-Decidable for All n. 519-526 - Tapani Hyttinen:
A Remark on Algebraic Closure and Orthogonality. 527-530 - Tomasz Polacik:
Pitts' Quantifiers Are Not Topological Quantification. 531-544 - John F. Phillips:
A Note on the Modal and Temporal Logics for N-Dimensional Spacetime. 545-553 - Adriane A. Rini:
Is There a Modal Syllogistic? 554-572 - Oliver Lemon, Ian E. Pratt:
On the Insufficiency of Linear Diagrams for Syllogisms. 573-580 - Mario Savio:
AE (Aristotle-Euler) Diagrams: An Alternative Complete Method for the Categorical Syllogism. 581-599 - Stewart Shapiro:
Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics. 600-612
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-12-29 01:27 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:
