Login / Signup
Neil J. DeBoer
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Logical Theories
Propositional Logic
Cut Elimination
Horn Logic
Top Venues
LFCS
J. Log. Comput.
</>
Publications
</>
Neil J. DeBoer
Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic.
LFCS
(2022)
Neil J. DeBoer
Justification logic and type theory as formalizations of intuitionistic propositional logic.
J. Log. Comput.
32 (8) (2022)