Login / Signup
Jon Erling Litland
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 3
Top Topics
Predicate Logic
Abductive Reasoning
Multi Valued
Proof Theory
Top Venues
J. Philos. Log.
Rev. Symb. Log.
Notre Dame J. Formal Log.
</>
Publications
</>
Jon Erling Litland
Prospects for a Theory of Decycling.
Notre Dame J. Formal Log.
61 (3) (2020)
Jon Erling Litland
Pure Logic of Iterated Full Ground.
Rev. Symb. Log.
11 (3) (2018)
Jon Erling Litland
Pure Logic of Many-Many Ground.
J. Philos. Log.
45 (5) (2016)