On the logical philosophy of assertive graphs (Q2228440): Difference between revisions

@@ Property / cites work @@
+The basic intuitionistic logic of proofs
@@ Property / cites work: The basic intuitionistic logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA
+Normal rank
@@ Property / cites work @@
+Assertion and denial: Aa contribution from logical notations
+Normal rank
@@ Property / cites work @@
+<i>Simplex sigillum veri:</i> Peano, Frege, and Peirce on the Primitives of Logic
+Normal rank
@@ Property / cites work @@
+Assertive graphs
@@ Property / cites work: Assertive graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3375282
@@ Property / cites work: Q3375282 / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof complexity of deep inference
@@ Property / cites work: On the proof complexity of deep inference / rank @@
+Normal rank
@@ Property / cites work @@
+On the length of medial-switch-mix derivations
@@ Property / cites work: On the length of medial-switch-mix derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Assertion and hypothesis: a logical framework for their opposition relations:
+Normal rank
@@ Property / cites work @@
+Diagrammatic representation and inference. 10th international conference, Diagrams 2018, Edinburgh, UK, June 18--22, 2018. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4698611
@@ Property / cites work: Q4698611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088782
@@ Property / cites work: Q4088782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5219930
@@ Property / cites work: Q5219930 / rank @@
+Normal rank
@@ Property / cites work @@
+What is Logic?
@@ Property / cites work: What is Logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Spider Diagrams
@@ Property / cites work: Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5--7, 2017. Proceedings
+Normal rank
@@ Property / cites work @@
+Proof analysis of Peirce's alpha system of graphs
@@ Property / cites work: Proof analysis of Peirce's alpha system of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Gamma graph calculi for modal logics
@@ Property / cites work: Gamma graph calculi for modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5212088
@@ Property / cites work: Q5212088 / rank @@
+Normal rank
@@ Property / cites work @@
+Signs of logic. Peircean themes on the philosophy of language, games, and communication
+Normal rank
@@ Property / cites work @@
+Q4540990
@@ Property / cites work: Q4540990 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit epistemic aspects of constructive logic
@@ Property / cites work: Implicit epistemic aspects of constructive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank