Notre Dame Journal of Formal Logic

2002

Bolzano's Theory of Ground and Consequence
by: Armin Tatzel v. 43 i. 1 p. 1 - 25
Logics of Relative Identity
by: Pawel Garbacz v. 43 i. 1 p. 27 - 50
Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures
by: Denis R. Hirschfeldt, Walker M. White v. 43 i. 1 p. 51 - 64
Definability of Initial Segments
by: Saharon Shelah, Akito Tsuboi v. 43 i. 2 p. 65 - 73
The Complexity of Revision, Revised
by: Gian Aldo Antonelli v. 43 i. 2 p. 75 - 78
Nonclassical Mereology and Its Application to Sets
by: Peter Forrest v. 43 i. 2 p. 79 - 94
The Modal Logic of Agreement and Noncontingency
by: Lloyd Humberstone v. 43 i. 2 p. 95 - 127
The Semantics of Entailment Omega
by: Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Yoko Motohama v. 43 i. 3 p. 129 - 145
Paraconsistency Everywhere
by: Greg Restall v. 43 i. 3 p. 147 - 156
A Characterization of Permutation Models in Terms of Forcing
by: Eric J. Hall v. 43 i. 3 p. 157 - 168
Shortest Axiomatizations of Implicational S4 and S5
by: Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos v. 43 i. 3 p. 169 - 179
Hilbert's Tenth Problem for Rings of Rational Functions
by: Karim Zahidi v. 43 i. 3 p. 181 - 192
Investigations into Quantified Modal Logic
by: Yannis Stephanou v. 43 i. 4 p. 193 - 220
The Expressive Truth Conditions of Two-Valued Logic
by: Stephen Pollard v. 43 i. 4 p. 221 - 230
On Bounded Type-Definable Equivalence Relations
by: Krzysztof Krupinski, Ludomir Newelski v. 43 i. 4 p. 231 - 242
Intuitionistic Completeness and Classical Logic
by: David Charles McCarty v. 43 i. 4 p. 243 - 248
A Note on Generic Projective Planes
by: Koichiro Ikeda v. 43 i. 4 p. 249 - 254

2001

Sequent Calculi for Visser's Propositional Logics
by: Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi v. 42 i. 1 p. 1 - 22
On Non-wellfounded Sets as Fixed Points of Substitutions
by: Tapani Hyttinen, Matti Pauna v. 42 i. 1 p. 23 - 40
The Decidability of the Class and the Axiom of Foundation
by: Dorella Bellè, Franco Parlamento v. 42 i. 1 p. 41 - 53
Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems
by: Osamu Morikawa v. 42 i. 1 p. 55 - 64
The Fixed Point Property in Modal Logic
by: Lorenzo Sacchetti v. 42 i. 2 p. 65 - 86
Periodicity of Negation
by: Athanassios Tzouvaras v. 42 i. 2 p. 87 - 99
Pseudo Treealgebras
by: M. Bekkali v. 42 i. 2 p. 101 - 108
A Note on Recursive Models of Set Theories
by: Antonella Mancini, Domenico Zambella v. 42 i. 2 p. 109 - 115
Forcing Complexity: Minimum Sizes of Forcing Conditions
by: Toshio Suzuki v. 42 i. 2 p. 117 - 120
Uniform Short Proofs for Classical Theorems
by: Kees Doets v. 42 i. 2 p. 121 - 127
Model Companions of for Stable T
by: John T. Baldwin, Saharon Shelah v. 42 i. 3 p. 129 - 142
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic
by: Takeshi Yamazaki v. 42 i. 3 p. 143 - 148
Broadening the Iterative Conception of Set
by: Mark F. Sharlow v. 42 i. 3 p. 149 - 170
Propositional Logic of Imperfect Information: Foundations and Applications
by: Ahti-Veikko Pietarinen v. 42 i. 4 p. 193 - 210
Anshakov-Rychkov Algebras
by: Olga Ambas v. 42 i. 4 p. 211 - 224
A Closer Look at Some Subintuitionistic Logics
by: Sergio A. Celani, Ramon Jansana v. 42 i. 4 p. 225 - 255

2000

An Intriguing Logic with Two Implicational Connectives
by: Lloyd Humberstone v. 41 i. 1 p. 1 - 40
Essential Forcing Generics
by: Stephanie Cawthorne, David W. Kueker v. 41 i. 1 p. 41 - 52
Nonstandard Models and Kripke's Proof of the Gödel Theorem
by: Hilary Putnam v. 41 i. 1 p. 53 - 58
New Operations on Orthomodular Lattices: "Disjunction" and "Conjunction" Induced by Mackey Decompositions
by: Jaroslaw Pykacz v. 41 i. 1 p. 59 - 76
Book Review: Scott Soames. Understanding Truth
by: Robert Charles Koons v. 41 i. 1 p. 77 - 94
An Information-Based Theory of Conditionals
by: Wayne Wobcke v. 41 i. 2 p. 95 - 141
Complexity of the r-query Tautologies in the Presence of a Generic Oracle
by: Toshio Suzuki v. 41 i. 2 p. 142 - 151
A Single Axiom for Set Theory
by: David Bennett v. 41 i. 2 p. 152 - 170
The Propositional Logic of Elementary Tasks
by: Giorgi Japaridze v. 41 i. 2 p. 171 - 183
Introduction to Logicism and the Paradoxes: A Reappraisal
by: Michael Detlefsen v. 41 i. 3 p. 185 - 185
Cardinality, Counting, and Equinumerosity
by: Richard G. Heck Jr. v. 41 i. 3 p. 187 - 209
On the Origin and Status of our Conception of Number
by: William Demopoulos v. 41 i. 3 p. 210 - 226
Realism and Paradox
by: Patricia A. Blanchette v. 41 i. 3 p. 227 - 241
Frege's New Science
by: Aldo Antonelli, Robert May v. 41 i. 3 p. 242 - 270
Frege on Axioms, Indirect Proof, and Independence Arguments in Geometry: Did Frege Reject Independence Arguments?
by: Jamie Tappenden v. 41 i. 3 p. 271 - 315
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
by: Crispin Wright v. 41 i. 4 p. 317 - 334
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis
by: Stewart Shapiro v. 41 i. 4 p. 335 - 364
Optics of Thought: Logic and Vision in M=FCller, Helmholtz, and Frege
by: D. C. McCarty v. 41 i. 4 p. 365 - 378
Abstraction and Set Theory
by: Bob Hale v. 41 i. 4 p. 379 - 398
Skolem Redux
by: W. D. Hart v. 41 i. 4 p. 399 - 414
The Fruits of Logicism
by: Timothy Bays v. 41 i. 4 p. 415 - 421

1999

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

1998

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

1997

A New Semantics for Positive Modal Logic
by: Sergio A. Celani, Ramon Jansana v. 38 i. 1 p. 1 - 18
Another Characterization of Alephs: Decompositions of Hyperspace
by: John C. Simms v. 38 i. 1 p. 19 - 36
Algebraic Methods and Bounded Formulas
by: Domenico Zambella v. 38 i. 1 p. 37 - 48
The Numerical Syllogism and Existential Presupposition
by: Wallace A. Murphree v. 38 i. 1 p. 49 - 64
An Algebraic Theory of Structured Objects
by: Chrysafis Hartonas v. 38 i. 1 p. 65 - 80
Towards the Limits of the Tennebaum Phenomenon
by: Paola D'Aquino v. 38 i. 1 p. 81 - 92
An Unclassifiable Unidimensional Theory without OTOP
by: Ambar Chowdhury, Bradd Hart v. 38 i. 1 p. 93 - 103
Why Correspondence Truth Will Not Go Away
by: Gerald Vision v. 38 i. 1 p. 104 - 131
Computable Models of Theories with Few Models
by: Bakhadyr Khoussainov, André Nies, Richard A. Shore v. 38 i. 2 p. 165 - 178
An Intenstional Schrödinger Logic
by: Newton C. A. da Costa, Décio Krause v. 38 i. 2 p. 179 - 194
Wittgenstein on Mathematical Meaningfullness, Decidability, and Application
by: Victor Rodych v. 38 i. 2 p. 195 - 224
Ontologies for Plane, Polygonal Mereotopology
by: Ian Pratt, Oliver Lemon v. 38 i. 2 p. 225 - 245
The ``Relevance'' of Intersection and Union Types
by: Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri v. 38 i. 2 p. 246 - 269
A Conjecture on Numeral Systems
by: Karim Nour v. 38 i. 2 p. 270 - 275
Rethinking Quine's Argument on the Collapse of Modal Distinctions
by: Genoveva Martí v. 38 i. 2 p. 276 - 294
Propositional Quantification in the Topological Semantics for S4
by: Philip Kremer v. 38 i. 2 p. 295 - 313
Propositional Logic of Supposition and Assertion
by: John T. Kearns v. 38 i. 3 p. 325 - 349
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction
by: Osamu Takaki v. 38 i. 3 p. 350 - 373
Syntax and Semantics of the Logic Llambdaomega omega
by: Carsten Butz v. 38 i. 3 p. 374 - 384
Cumulative versus Noncumulative Ramified Types
by: Anthony F. Peressini v. 38 i. 3 p. 385 - 397
Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion
by: S. V. Bhave v. 38 i. 3 p. 398 - 405
Infima in the Recursively Enumerable Weak Truth Table Degrees
by: Rich Blaylock, Rodney G. Downey, Steffen Lempp v. 38 i. 3 p. 406 - 418
A Decidable Temporal Logic of Parallelism
by: Mark Reynolds v. 38 i. 3 p. 419 - 436
Grundgesetz der Arithmetik I §§29-32
by: Richard G. Heck Jr. v. 38 i. 3 p. 437 - 474
Impossible Worlds - Editor's Introduction
by: Graham Priest v. 38 i. 4 p. 481 - 487
Information and Impossibilities
by: Jon Barwise v. 38 i. 4 p. 488 - 515
Who's Afraid of Impossible Worlds?
by: Edwin D. Mares v. 38 i. 4 p. 516 - 526
Peeking at the Impossible
by: Chris Mortensen v. 38 i. 4 p. 527 - 534
Impossible Worlds: A Modest Approach
by: Daniel Nolan v. 38 i. 4 p. 535 - 572
Sylvan's Box: a Short Story and Ten Morals
by: Graham Priest v. 38 i. 4 p. 573 - 582
Ways Things Can't Be
by: Greg Restall v. 38 i. 4 p. 583 - 596
The Ontology of Impossible Worlds
by: David A. Vander Laan v. 38 i. 4 p. 597 - 620
Inconsistency without Contradiction
by: Achille C. Varzi v. 38 i. 4 p. 621 - 639
A Classically-Based Theory of Impossible Worlds
by: Edward N. Zalta v. 38 i. 4 p. 640 - 660

1996

Modal Logics in the Vicinity of S1
by: Brian F. Chellas, Krister Segerberg v. 37 i. 1 p. 1 - 24
Multi-Dimensional Semantics for Modal Logics
by: Maarten Marx v. 37 i. 1 p. 25 - 34
The Expressive Power of Second-Order Propositional Modal Logic
by: Michael Kaminski, Michael L. Tiomkin v. 37 i. 1 p. 35 - 43
Strong Normalization and Typability with Intersection Types
by: Silvia Ghilezan v. 37 i. 1 p. 44 - 52
Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions
by: Andreja Prijatelj v. 37 i. 1 p. 53 - 70
Refining Temporal Reference in Event Structures
by: Fabio Pianesi, Achille C. Varzi v. 37 i. 1 p. 71 - 83
Decidability of Fluted Logic with Identity
by: William C. Purdy v. 37 i. 1 p. 84 - 104
A Contingent Russell's Paradox
by: Francesco Orilia v. 37 i. 1 p. 105 - 111
Elementary Propositions and Independence
by: John L. Bell, William Demopoulos v. 37 i. 1 p. 112 - 124
Tarski on Logical Consequence
by: Mario Gómez-Torrente v. 37 i. 1 p. 125 - 151
Special Issue on Combining Logics - Editor's Introduction
by: Patrick Blackburn, Maarten de Rijke v. 37 i. 2 p. 161 - 166
A Counterexample in Tense Logic
by: Frank Wolter v. 37 i. 2 p. 167 - 173
The Price of Universality
by: Edith Hemaspaandra v. 37 i. 2 p. 174 - 203
Combining Temporal Logic Systems
by: Marcelo Finger, Dov M. Gabbay v. 37 i. 2 p. 204 - 232
Minimal Temporal Epistemic Logic
by: Joeri Engelfriet v. 37 i. 2 p. 233 - 259
Decidability Results for Metric and Layered Temporal Logics
by: Angelo Montanari, Alberto Policriti v. 37 i. 2 p. 260 - 282
Algebra and Theory of Order-Deterministic Pomsets
by: Arend Rensink v. 37 i. 2 p. 283 - 320
Dynamic Bracketing and Discourse Representation
by: Albert Visser, Kees Vermeulen v. 37 i. 2 p. 321 - 365
Combining Algebraizable Logics
by: A. Jánossy, Ágnes Kurucz, A. E. Eiben v. 37 i. 2 p. 366 - 380
Introduction to Life, Art, and Mysticism
by: Walter P. Van Stigt v. 37 i. 3 p. 381 - 387
Life, Art, and Mysticism
by: Luitzen Egbertus Jan Brouwer v. 37 i. 3 p. 389 - 429
Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point
by: Loredana Biacino, Giangiacomo Gerla v. 37 i. 3 p. 431 - 439
Dual-Intuitionistic Logic
by: Igor Urbas v. 37 i. 3 p. 440 - 451
Classical and Intuitionistic Models of Arithmetic
by: Kai F. Wehmeier v. 37 i. 3 p. 452 - 461
A Constructive Valuation Semantics for Classical Logic
by: Franco Barbanera, Stefano Berardi v. 37 i. 3 p. 462 - 482
Semantics for Two Second-Order Logical Systems: =RRC* and Cocchiarella's RRC*
by: Max A. Freund v. 37 i. 3 p. 483 - 505
On Elementary Equivalence for Equality-free Logic
by: Enrique Casanovas, Pilar Dellunde, Ramon Jansana v. 37 i. 3 p. 506 - 522
Simplified Lower Bounds for Propositional Proofs
by: Alasdair Urquhart, Xudong Fu v. 37 i. 4 p. 523 - 544
Infinite Versions of Some Problems From Finite Complexity Theory
by: Jeffry L. Hirst, Steffen Lempp v. 37 i. 4 p. 545 - 553
Logic in Russell's Principles of Mathematics
by: Gregory Landini v. 37 i. 4 p. 554 - 584
Finite Sets and Natural Numbers in Intuitionistic TT
by: Daniel Dzierzgowski v. 37 i. 4 p. 585 - 601
A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions
by: Lloyd Humberstone v. 37 i. 4 p. 602 - 612
Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras
by: Oleg V. Belegradek v. 37 i. 4 p. 613 - 624
Field on the Notion of Consistency
by: Ken Akiba v. 37 i. 4 p. 625 - 630

1995

Editor's Introduction
by: André Fuhrmann v. 36 i. 1 p. 1 - 14
Belief Revision and Verisimilitude
by: Mark Ryan, Pierre-Yves Schobbens v. 36 i. 1 p. 15 - 29
Computing Verisimilitude
by: Katarina Britz, Chris Brink v. 36 i. 1 p. 30 - 43
Semantics-based Nonmonotonic Inference
by: Heinrich Wansing v. 36 i. 1 p. 44 - 54
Belief Revision, Conditional Logic and Nonmonotonic Reasoning
by: Wayne Wobcke v. 36 i. 1 p. 55 - 102
Levi Contractions and AGM Contractions: a Comparison
by: Sven Ove Hansson, Erik J. Olsson v. 36 i. 1 p. 103 - 119
Constructive Modelings for Theory Change
by: Pavlos Peppas, Mary-Anne Williams v. 36 i. 1 p. 120 - 133
Partial Up and Down Logic
by: Jan Jaspars v. 36 i. 1 p. 134 - 157
On the Revision of Probabilistic Belief States
by: Craig Boutilier v. 36 i. 1 p. 158 - 183
Levels of Truth
by: Andrea Cantini v. 36 i. 2 p. 185 - 213
The Logic of Non-contingency
by: Lloyd Humberstone v. 36 i. 2 p. 214 - 229
Minimal Non-contingency Logic
by: Steven T. Kuhn v. 36 i. 2 p. 230 - 234
An Approach to Uncertainty via Sets of Truth Values
by: George Gargov v. 36 i. 2 p. 235 - 268
Remarks on Structure Theorems for omega1-Saturated Models
by: Tapani Hyttinen v. 36 i. 2 p. 269 - 278
Ontologically Minimal Logical Semantics
by: Uwe Meixner v. 36 i. 2 p. 279 - 298
Arithmetic With Satisfaction
by: James Cain v. 36 i. 2 p. 299 - 303
Decidability and Completeness for Open Formulas of Membership Theories
by: Dorella Bellè, Franco Parlamento v. 36 i. 2 p. 304 - 318
NP-Completeness of a Combinator Optimization Problem
by: M. S. Joy, Victor J. Rayward-Smith v. 36 i. 2 p. 319 - 335
Book Review: Ruth Barcan Marcus, Modalities, Oxford University Press, 1993
by: Graeme Forbes v. 36 i. 2 p. 336 - 339
Consequence and Confirmation
by: Peter Roeper, Hugues Leblanc v. 36 i. 3 p. 341 - 363
On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic
by: Michael Makkai v. 36 i. 3 p. 364 - 381
Binary Quantification Systems
by: Michaelis Michael, A. V. Townsend v. 36 i. 3 p. 382 - 395
Classification of Weak DeMorgan Algebras
by: Michiro Kondo v. 36 i. 3 p. 396 - 406
Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom
by: José M. Méndez, Francisco Salto v. 36 i. 3 p. 407 - 413
Expansions of Ultrahomogeneous Graphs
by: J. E. Helmreich v. 36 i. 3 p. 414 - 424
Partition Principles and Infinite Sums of Cardinal Numbers
by: Masasi Higasikawa v. 36 i. 3 p. 425 - 434
A Finitely Axiomatized Formalization of Predicate Calculus with Equality
by: Norman D. Megill v. 36 i. 3 p. 435 - 453
Worlds of Homogeneous Artifacts
by: Athanassios Tzouvaras v. 36 i. 3 p. 454 - 474
Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson
by: Kieron O'Hara, Han Reichgelt, Nigel Shadbolt v. 36 i. 3 p. 475 - 495
Editor's Introduction
by: Peter Clote v. 36 i. 4 p. 499 - 501
The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic
by: Roman Murawski v. 36 i. 4 p. 502 - 504
Automorphisms of Countable Recursively Saturated Models of PA: a Survey
by: Henryk Kotlarski v. 36 i. 4 p. 505 - 518
Four Problems Concerning Recursively Saturated Models of Arithmetic
by: Roman Kossak v. 36 i. 4 p. 519 - 530
Arithmetically Saturated Models of Arithmetic
by: Roman Kossak, James H. Schmerl v. 36 i. 4 p. 531 - 546
The Theory of kappa-like Models of Arithmetic
by: Richard Kaye v. 36 i. 4 p. 547 - 559
PA(aa)
by: James H. Schmerl v. 36 i. 4 p. 560 - 569
On the Strength of Ramsey's Theorem
by: David Seetapun, Theodore A. Slaman v. 36 i. 4 p. 570 - 582
A Distinguishable Model Theorem for the Minimal US-Tense Logic
by: Fabio Bellissima, Anna Bucalo v. 36 i. 4 p. 585 - 594
Approximation Logic and Strong Bunge Algebra
by: Michiro Kondo v. 36 i. 4 p. 595 - 605
On Finite-Valued Propositional Logical Calculi
by: O. Anshakov, S. Rychkov v. 36 i. 4 p. 606 - 629

1994

Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups
by: Henryk Kotlarski, Richard Kaye v. 35 i. 1 p. 1 - 14
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic
by: Roland Hinnion v. 35 i. 1 p. 15 - 40
Functoriality and Grammatical Role in Syllogisms
by: Marie La Palme Reyes, John Macnamara, Gonzalo E. Reyes v. 35 i. 1 p. 41 - 66
The Complexity of Revision
by: Gian Aldo Antonelli v. 35 i. 1 p. 67 - 72
Reasoning with Sentences and Diagrams
by: Eric Hammer v. 35 i. 1 p. 73 - 87
Some Logics Related to von Wright's Logic of Place
by: Ramon Jansana v. 35 i. 1 p. 88 - 98
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle
by: David Charles McCarty v. 35 i. 1 p. 99 - 107
Contractions of Closure Systems
by: Stephen Pollard, Norman M. Martin v. 35 i. 1 p. 108 - 115
Subintuitionistic Logics
by: Greg Restall v. 35 i. 1 p. 116 - 129
Saying it with Numerals
by: David Auerbach v. 35 i. 1 p. 130 - 146
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta0s + exp
by: Domenico Zambella v. 35 i. 1 p. 147 - 157
A Smart Child of Peano's
by: V. Yu. Shavrukov v. 35 i. 2 p. 161 - 185
A Minimal Predicative Set Theory
by: Franco Montagna, Antonella Mancini v. 35 i. 2 p. 186 - 203
A Revision-Theoretic Analysis of the Arithmetical Hierarchy
by: Gian Aldo Antonelli v. 35 i. 2 p. 204 - 218
Extending Intutionistic Linear Logic with Knotted Structural Rules
by: R. Hori, H. Ono, Harold Schellinx v. 35 i. 2 p. 219 - 242
Incremental Semantics for Propositional Texts
by: C. F. M. Vermeulen v. 35 i. 2 p. 243 - 271
Modalities in Vector Logic
by: Eduardo Mizraji v. 35 i. 2 p. 272 - 283
Modal-Epistemic Variants of Shapiro's System of Epistemic Arithmetic
by: Leon Horsten v. 35 i. 2 p. 284 - 291
The Structure of Pleasant Ideals
by: Christopher C. Leary v. 35 i. 2 p. 292 - 298
A System of Complete and Consistent Truth
by: Volker Halbach v. 35 i. 3 p. 311 - 327
Uniformization Problems and the Cofinality of the Infinite Symmetric Group
by: James D. Sharp, Simon Thomas v. 35 i. 3 p. 328 - 345
A Simple Proof of Arithmetical Completeness for Pi1-conservativity Logic
by: Giorgi Japaridze v. 35 i. 3 p. 346 - 354
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic
by: Hiroshi Aoyama v. 35 i. 3 p. 355 - 368
Algebraic Study of Two Deductive Systems of Relevance Logic
by: Josep Maria Font, Gonzalo Rodríguez v. 35 i. 3 p. 369 - 397
Deissler Rank Complexity of Powers of Indecomposable Injective Modules
by: R. Chartrand, T. G. Kucera v. 35 i. 3 p. 398 - 402
On Formalization of Model-Theoretic Proofs of Gödel's Theorems
by: Makoto Kikuchi, Kazuyuki Tanaka v. 35 i. 3 p. 403 - 412
Well Ordered Subsets of Linearly Ordered Sets
by: Hartmut Höft, Paul E. Howard v. 35 i. 3 p. 413 - 425
Sigma11-Completeness of a Fragment of the Theory of Trees With Subtree Relation
by: Patrizio Cintioli, Sauro Tulipani v. 35 i. 3 p. 426 - 432
The Irrelevance of Distribution for the Syllogism
by: Wallace A. Murphree v. 35 i. 3 p. 433 - 449
A New Solution to a Problem of Hosoi and Ono
by: Michael Zakharyaschev v. 35 i. 3 p. 450 - 457
A Dilemma in the Philosophy of Set Theory
by: Ralf-Dieter Schindler v. 35 i. 3 p. 458 - 463
Natural Deduction Based upon Strict Implication for Normal Modal Logics
by: Claudio Cerrato v. 35