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

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