Journal: Notre Dame Journal of Formal Logic

Volume 30, Issue 2

161 -- 196Albert Visser. Peano s Smart Children: A Provability Logical Study of Systems with Built-in Consistency
197 -- 206Charles Steinhorn, Carlo Toffalori. The Boolean Spectrum of an o-Minimal Theory
207 -- 223James Garson. Modularity and Relevant Logic
224 -- 240Kees Doets. Monadic Pi::1:::::1:::-Theories of Pi::1:::::1:::-Properties
241 -- 261Peter Simons. Combinators and Categorial Grammar
262 -- 267Balázs Biró. Isomorphic but Not Lower Base-Isomorphic Cylindric Algebras of Finite Dimension
268 -- 270Norbert Brunner. Set-Mappings on Dedekind Sets
271 -- 284Fred Johnson. Models for Modal Syllogisms
285 -- 290George F. Schumm. Some Compactness Results for Modal Logic
291 -- 307John T. Kearns. Lesniewski s Strategy and Modal Logic