Isomorphic formulae in classical propositional logic (Q3117775): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963219170
@@ Property / OpenAlex ID: W2963219170 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1271
@@ Property / arXiv ID: 0912.1271 / rank @@
+Normal rank
@@ Property / cites work @@
+Alonzo Church's Contributions to Philosophy and Intensional Logic
+Normal rank
@@ Property / cites work @@
+Tarski's High School Identities
@@ Property / cites work: Tarski's High School Identities / rank @@
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / cites work @@
+Models of deduction
@@ Property / cites work: Models of deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Isomorphic objects in symmetric monoidal closed categories
+Normal rank
@@ Property / cites work @@
+Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
+Normal rank
@@ Property / cites work @@
+Generality of proofs and its Brauerian representation
+Normal rank
@@ Property / cites work @@
+A Brauerian representation of split preorders
@@ Property / cites work: A Brauerian representation of split preorders / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on isomorphisms in typed lambda calculi with empty and sum types
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3117775