Analytic Tableaux for Higher-Order Logic with Choice (Q5747752): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_7
+Normal rank
@@ Property / OpenAlex ID @@
+W126011539
@@ Property / OpenAlex ID: W126011539 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+General models and extensionality
@@ Property / cites work: General models and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+TPS: A hybrid automatic-interactive system for developing proofs
+Normal rank
@@ Property / cites work @@
+Analytic Tableaux for Higher-Order Logic with Choice
+Normal rank
@@ Property / cites work @@
+Higher-order semantics and extensionality
@@ Property / cites work: Higher-order semantics and extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
+Normal rank
@@ Property / cites work @@
+Analytic Tableaux for Simple Type Theory and its First-Order Fragment
+Normal rank
@@ Property / cites work @@
+Extended First-Order Logic
@@ Property / cites work: Extended First-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for the Basic Fragment of Simple Type Theory
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination for simple type theory with an axiom of choice
+Normal rank
@@ Property / cites work @@
+Q4823141
@@ Property / cites work: Q4823141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Progress in the Development of Automated Theorem Proving for Higher-Order Logic
+Normal rank