Notre Dame Journal of Formal Logic



Notre Dame Journal of Formal Logic

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

The world, the facts, and primary logic.

Fred Sommers; 169-182

Stable groups, mostly of finite exponent.

Frank O. Wagner; 183-192

Apodeictic ecthesis.

Paul Thom; 193-208

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)


2008 © Duke University Press