Intuitionistic hypothetical logic of proofs (Q276039): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2013.12.013
@@ Property / DOI: 10.1016/j.entcs.2013.12.013 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2013.12.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2015385255
@@ Property / OpenAlex ID: W2015385255 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317924
@@ Property / Wikidata QID: Q113317924 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The Intensional Lambda Calculus
@@ Property / cites work: The Intensional Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The basic intuitionistic logic of proofs
@@ Property / cites work: The basic intuitionistic logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4534366
@@ Property / cites work: Q4534366 / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic and History Based Computation
@@ Property / cites work: Justification Logic and History Based Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Justification logic as a foundation for certifying mobile computation
+Normal rank
@@ Property / cites work @@
+Q4315015
@@ Property / cites work: Q4315015 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical Completeness of the Intuitionistic Logic of Proofs
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219051
@@ Property / cites work: Q4219051 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Nonaxiomatizability of predicate logics of proofs
@@ Property / cites work: Nonaxiomatizability of predicate logics of proofs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2013.12.013
@@ Property / DOI: 10.1016/J.ENTCS.2013.12.013 / rank @@
+Normal rank