A proof-theoretic investigation of a logic of positions (Q1408856): Difference between revisions

@@ Property / cites work @@
+Natural deduction for non-classical logics
@@ Property / cites work: Natural deduction for non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+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 @@
+Sequent-systems for modal logic
@@ Property / cites work: Sequent-systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending the Curry-Howard interpretation to linear, relevant and other resource logics
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842981
@@ Property / cites work: Q4842981 / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of (linear) exponentials based on extended sequents
+Normal rank
@@ Property / cites work @@
+Proof nets, garbage, and computations
@@ Property / cites work: Proof nets, garbage, and computations / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q4842974
@@ Property / cites work: Q4842974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+-sequent calculus: A proof theory of modalities
@@ Property / cites work: 2-sequent calculus: A proof theory of modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Sequent Calculi for Normal Modal Propositional Logics
+Normal rank