The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 34, Number 2
Publication Date: Spring 1993
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 34, issue 2 (1993)
Remarks on strong nonstructure theorems.
Tapani Hyttinen, Saharon Shelah and Heikki Tuuri; 157-168
Nonclassical syllogistic inference and the method of resolution.
Aris Noah; 209-222
On closed elementary cuts in recursively saturated models of Peano arithmetic.
Bożena Piekart; 223-230
BCK and BCI logics, condensed detachment and the $2$-property.
J. Roger Hindley; 231-250
Extensions of the $\aleph_0$-valued Ł ukasiewicz propositional logic.
M. G. Beavers; 251-262
Quantified modal logics of positive rational numbers and some related systems.
Giovanna Corsi; 263-283
Isomorphisms of finite cylindric set algebras of characteristic zero.
György Serény; 284-294
A tableau style proof system for two paraconsistent logics.
Anthony Bloesch; 295-301
Book Review: T. E. Forster. Set theory with a universal set: Exploring an untyped universe.
Richard Kaye; 302-309
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 34, issue 2 (1993)
Notre Dame Journal of Formal Logic
