A uniform procedure for converting matrix proofs into sequent-style systems (Q1854382): Difference between revisions

@@ Property / DOI @@
-.1006/inco.2000.2913
@@ Property / DOI: 10.1006/inco.2000.2913 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KoMeT
@@ Property / describes a project that uses: KoMeT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2151355005
@@ Property / OpenAlex ID: W2151355005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880316
@@ Property / cites work: Q3880316 / rank @@
+Normal rank
@@ Property / cites work @@
+More on the problem of finding a mapping between clause representation and natural-deduction representation
+Normal rank
@@ Property / cites work @@
+Mathematical thought. An introduction to the philosophy of mathematics
+Normal rank
@@ Property / cites work @@
+KoMeT
@@ Property / cites work: KoMeT / rank @@
+Normal rank
@@ Property / cites work @@
+On Matrices with Connections
@@ Property / cites work: On Matrices with Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Connection-based proof construction in linear logic
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490999
@@ Property / cites work: Q3490999 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791114
@@ Property / cites work: Q3791114 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3838818
@@ Property / cites work: Q3838818 / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution theorem prover for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated reasoning contributes to mathematics and logic
+Normal rank
@@ Property / DOI @@
+.1006/INCO.2000.2913
@@ Property / DOI: 10.1006/INCO.2000.2913 / rank @@
+Normal rank