Notre Dame Journal of Formal Logic, Volume 34

Volume 34, Number 1, Winter 1993

James E. Baumgartner, Saharon Shelah, Simon Thomas: Maximal Subsets of Infinite Symmetric Groups. 1-11 BibTeX
Brian Macpherson: Is It Possible that Belief Isn't Necessary? 12-28 BibTeX
Xizhong Zheng: On the Maximality of Some Pairs of p-t Degrees. 29-35 BibTeX
Daniel J. Dougherty: Closed Categories and Categorial Grammar. 36-49 BibTeX
Margarita Otero: The Amalgamation Property in Normal Open Induction. 50-55 BibTeX
Patrick Blackburn: Nominal Tense Logic. 56-83 BibTeX
Friedemann Tuttas: An Arithmetical Completeness Theorem for Pre-permutations. 84-89 BibTeX
Ernest Adams: Formalizing the Logic of Positive, Comparative, and Superlative. 90-99 BibTeX
Paul E. Howard, Jeffrey Solski: The Strenght of the Delta-system Lemma. 100-106 BibTeX
Manuel García-Carpintero Sánchez-Miguel: The Grounds for the Model-theoretic Account of the Logical Properties. 107-131 BibTeX
William McCune: Single Axioms for the Left Group and the Right Group Calculi. 132-139 BibTeX
Philip L. Peterson: Intermediate Quantifiers for Finch's Proportions. 140-149 BibTeX

Tapani Hyttinen, Saharon Shelah, Heikki Tuuri: Remarks on Strong Nonstructure Theorems. 157-168 BibTeX
Fred Sommers: The World, the Facts, and Primary Logic. 169-182 BibTeX
Frank O. Wagner: Stable Groups, Mostly of Finite Exponent. 183-192 BibTeX
Paul Thom: Apodeictic Ecthesis. 193-208 BibTeX
Aris Noah: Non-Classical Syllogistic Inference and the Method of Resolution. 209-222 BibTeX
Bozena Piekart: On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic. 223-230 BibTeX
J. Roger Hindley: BCK and BCI Logics, Condensed Detachment and the 2-Property. 231-250 BibTeX
M. Gordon Beavers: Extensions of the aleph₀-Valued Lukasiewicz Propositional Logic. 251-262 BibTeX
Giovanna Corsi: Quantified Modal Logics of Positive Rational Numbers and Some Related Systems. 263-283 BibTeX
György Serény: Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero. 284-294 BibTeX
Anthony Bloesch: A Tableau Style Proof System for Two Paraconsistent Logics. 295-301 BibTeX