Simple Evidence Elimination in Justification Logic (Q2902944): Difference between revisions

@@ 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.1007/978-94-007-0074-1_7
+Normal rank
@@ Property / OpenAlex ID @@
+W2122398324
@@ Property / OpenAlex ID: W2122398324 / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / 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 logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with Justifications
@@ Property / cites work: Reasoning with Justifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2902944