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
29
, Issue
1
1
--
17
Saharon Shelah
.
2
18
--
27
Seiki Akama
.
Constructive predicate logic with strong negation and model theory
28
--
33
Theodore Hailperin
.
Infinite truth-functional logic
34
--
44
Peter Lavers
.
Relevance and disjunctive syllogism
45
--
60
Chris Mortensen
.
Inconsistent number systems
61
--
80
I. L. Humberstone
.
Operational semantics for positive R
81
--
90
Thomas Jager
.
De re and de dicto
91
--
101
Daniel H. Cohen
.
The problem of counterpossibles
102
--
105
Gert-Jan C. Lokhorst
.
The modal status of antinomies
106
--
108
George F. Schumm
.
The number of nonnormal extensions of S4
109
--
136
John-Jules Ch. Meyer
.
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic
137
--
138
Dolph Ulrich
.
A five-valued model of the E-p-q-theses
139
--
154
J. L. Shaw
.
The Nyāya on double negation
155
--
159
Roy A. Sorensen
.
Are enthymemes arguments?
160
--
181
Georg Kreisel
.
Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel