Notre Dame Journal of Formal Logic, Volume 31

Volume 31, Number 1, Winter 1990

Saharon Shelah, Charles Steinhorn: The Nonaxiomatizability of L(Q²_aleph₁) by Finitely Many Schemata. 1-13 BibTeX
Nuel Belnap: Linear Logic Displayed. 14-25 BibTeX
Zachari Gleit, Warren D. Goldfarb: Characters and Fixed Points in Provability Logic. 26-36 BibTeX
Lisa Reidhaar-Olson: A New Proof of the Fixed-Point Theorem of Probability Logic. 37-43 BibTeX
Frans Voorbraak: A Simplification of the Completeness Proofs for Guaspari and Solovay's R. 44-63 BibTeX
Norbert Brunner: The Fraenkel-Mostowski Method, Revisited. 64-75 BibTeX
John Fox: Motivation and Demotivation of a Four-Valued Logic. 76-80 BibTeX
Valentin Goranko: Modal Definability in Enriched Languages. 81-105 BibTeX
Fred Sommers: Predication in the Logic of Terms. 106-126 BibTeX
Arnon Avron: Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction. 127-135 BibTeX
Sven Ove Hansson: Defining ``Good'' and ``Bad'' in Terms of ``Better''. 136-149 BibTeX

Arnon Avron: Relevance and Paraconsistency - A New Approach, Part II: The Formal Systems. 169-202 BibTeX
Krister Segerberg: Validity and Satisfaction in Imperative Logic. 203-221 BibTeX
Timothy J. Suredonk: A Lemma in the Logic of Action. 222-224 BibTeX
Samuel R. Buss: The Modal Logic of Pure Provability. 225-231 BibTeX
Robert Cowen: Two Hypergraph Theorems Equivalent to BPI. 232-240 BibTeX
Mike Townsend: Complexity for Type-2 Relations. 241-262 BibTeX
John Hawthorn: Natural Deduction in Normal Modal Logic. 263-273 BibTeX
Chris Mortensen: Models for Inconsistent and Incomplete Differential Calculus. 274-285 BibTeX
Timothy Williamson: Verification, Falsification, and Cancellation in KT. 286-290 BibTeX
William Demopoulos: The Homogeneous Form of Logic Programs with Equality. 291-303 BibTeX
M. E. Adams, R. Cignolli: A Note on the Axiomatization of Equational Classes of n-Valued Lukasiewicz Algebras. 304-307 BibTeX
Raymond Turner: Logics of Truth. 308-329 BibTeX
Balázs Biró: On Generalizations of a Theorem of Vaught. 330-336 BibTeX

Leon Harkleroad: Recursive Surreal Numbers. 337-345 BibTeX
Wayne D. Blizard: Negative Membership. 346-368 BibTeX
Stephen Pollard: A Strengthening of Scott's ZF^!= Result. 369-370 BibTeX
Alexander Abian, Wael A. Amin: An Equivalent of the Axiom of Choice in Finite Models of the Powerset Axiom. 371-374 BibTeX
Bernhard Banaschewski, Gregory H. Moore: The Dual Cantor-Bernstein Theorem and the Partition Principle. 375-381 BibTeX
Gary P. Shannon: Provable Forms of Martin's Axiom. 382-388 BibTeX
Thierry Lucas, René Lavendhomme: Varying Modal Theories. 389-402 BibTeX
Alexander Bochman: Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies. 403-414 BibTeX
John Nolt: A Fully Logical Inductive Logic. 415-436 BibTeX
Christopher Gauker: Semantics without Reference. 437-461 BibTeX
Francis Jeffry Pelletier, Norman M. Martin: Post's Functional Completeness Theorem. 462-475 BibTeX
Elias E. Savellos: On Defining Identity. 476-484 BibTeX

Toshiyasu Arai: Derivability Conditions on Rosser's Provability Predicates. 487-497 BibTeX
Allen Hazen: Actuality and Quantification. 498-508 BibTeX
David Marker: Enumerations of Turing Ideals with Applications. 509-514 BibTeX
Piero Pagliani: Remarks on Special Lattices and Related Constructive Logics with Strong Negation. 515-528 BibTeX
Yde Venema: Expressiveness and Completeness of an Interval Tense Logic. 529-547 BibTeX
Noby-Yuki Suzuki: Some Syntactical Properties of Intermediate Predicate Logics. 548-559 BibTeX
Cinzia Bonotto: A Generalization of the Adequacy Theorem for the Quasi-Senses. 560-575 BibTeX
George F. Schumm, Stewart Shapiro: Expressive Completeness and Decidability. 576-579 BibTeX
Alexander Bochman: Concerted Instant-Interval Temporal Semantics II: Temporal Valuations and Logics of Change. 580-601 BibTeX