Categorical interpretation of logical derivations and its applications in algebra (Q2452950): Difference between revisions

@@ Property / cites work @@
+A generalization of the functorial calculus
@@ Property / cites work: A generalization of the functorial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5617745
@@ Property / cites work: Q5617745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654208
@@ Property / cites work: Q5654208 / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655525
@@ Property / cites work: Q5655525 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in SMCCs and equivalences on derivations in IMML with unit
+Normal rank
@@ Property / cites work @@
+Closed categories and the theory of proofs
@@ Property / cites work: Closed categories and the theory of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+On natural transformations of distinguished functors and their superpositions in certain closed categories
+Normal rank
@@ Property / cites work @@
+On the conditions of full coherence in closed categories
+Normal rank
@@ Property / cites work @@
+Proof of a conjecture of S. Mac Lane
@@ Property / cites work: Proof of a conjecture of S. Mac Lane / rank @@
+Normal rank
@@ Property / cites work @@
+On categorical equivalence of Gentzen-style derivations in IMLL
+Normal rank
@@ Property / cites work @@
+Coherence and non-commutative diagrams in closed categories
+Normal rank