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
35
, Issue
1
1
--
14
Henryk Kotlarski
,
Richard Kaye
.
Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups
15
--
40
Roland Hinnion
.
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic
41
--
66
Marie La Palme Reyes
,
John Macnamara
,
Gonzalo E. Reyes
.
Functoriality and Grammatical Role in Syllogisms
67
--
72
Gian Aldo Antonelli
.
The Complexity of Revision
73
--
87
Eric Hammer
.
Reasoning with Sentences and Diagrams
88
--
98
Ramon Jansana
.
Some Logics Related to von Wright s Logic of Place
99
--
107
David Charles McCarty
.
On Theorems of Gödel and Kreisel: Completeness and Markov s Principle
108
--
115
Stephen Pollard
,
Norman M. Martin
.
Contractions of Closure Systems
116
--
129
Greg Restall
.
Subintuitionistic Logics
130
--
146
David Auerbach
.
Saying it with Numerals
147
--
157
Domenico Zambella
.
Shavrukov s Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta::0s:: + exp