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