External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic

Neil J. DeBoer. Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Volume 13137 of Lecture Notes in Computer Science, pages 37-51, Springer, 2022. [doi]

Abstract

Abstract is missing.

runs on