Explicit Provability and Constructive Semantics (Q2732527): Difference between revisions

@@ Property / cites work @@
+On modal systems having arithmetical interpretations
+Normal rank
@@ Property / cites work @@
+Zur Deutung der intuitionistischen Logik
@@ Property / cites work: Zur Deutung der intuitionistischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q4757531
@@ Property / cites work: Q4757531 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional mathematics
@@ Property / cites work: Intensional mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic arithmetic is a conservative extension of intuitionistic arithmetic
+Normal rank
@@ Property / cites work @@
+Q3866261
@@ Property / cites work: Q3866261 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemic and intuitionistic formal systems
@@ Property / cites work: Epistemic and intuitionistic formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical extensibility for theorem verifiers and proof-checkers
+Normal rank
@@ Property / cites work @@
+Q4309515
@@ Property / cites work: Q4309515 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of pure provability
@@ Property / cites work: The modal logic of pure provability / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Provability
@@ Property / cites work: The Logic of Provability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter free induction and provably total computable functions
+Normal rank
@@ Property / cites work @@
+On first-order theories with provability operator
@@ Property / cites work: On first-order theories with provability operator / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Logic, language and computation
@@ Property / cites work: Logic, language and computation / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Kolmogorov and mathematical logic
@@ Property / cites work: Kolmogorov and mathematical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank