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
2
161
--
185
V. Yu. Shavrukov
.
A Smart Child of Peano s
186
--
203
Franco Montagna
,
Antonella Mancini
.
A Minimal Predicative Set Theory
204
--
218
Gian Aldo Antonelli
.
A Revision-Theoretic Analysis of the Arithmetical Hierarchy
219
--
242
R. Hori
,
H. Ono
,
Harold Schellinx
.
Extending Intutionistic Linear Logic with Knotted Structural Rules
243
--
271
C. F. M. Vermeulen
.
Incremental Semantics for Propositional Texts
272
--
283
Eduardo Mizraji
.
Modalities in Vector Logic
284
--
291
Leon Horsten
.
Modal-Epistemic Variants of Shapiro s System of Epistemic Arithmetic
292
--
298
Christopher C. Leary
.
The Structure of Pleasant Ideals