Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (Q5079741): Difference between revisions

@@ label / en / label / en @@
+Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System
+Normal rank
@@ Property / cites work @@
+Q5144661
@@ Property / cites work: Q5144661 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalised Inductive Reasoning in the Logic of Bunched Implications
+Normal rank
@@ Property / cites work @@
+Cyclic proofs of program termination in separation logic
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness for ancestral logic via a computationally-meaningful semantics
+Normal rank
@@ Property / cites work @@
+Ancestral Logic: A Proof Theoretical Study
@@ Property / cites work: Ancestral Logic: A Proof Theoretical Study / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free cyclic proof system for Kleene algebra
@@ Property / cites work: A cut-free cyclic proof system for Kleene algebra / 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 @@
+Q3773876
@@ Property / cites work: Q3773876 / 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 @@
+General Models and Completeness of First-Order Modal  -calculus
+Normal rank
@@ Property / cites work @@
+Accessible Independence Results for Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738237
@@ Property / cites work: Q4738237 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Cyclic Arithmetic Is Equivalent to Peano Arithmetic
+Normal rank
@@ Property / cites work @@
+Q4417874
@@ Property / cites work: Q4417874 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically verifying temporal properties of pointer programs with cyclic proof
+Normal rank
@@ Property / full work available at URL @@
+https://dblp.uni-trier.de/db/conf/csl/csl2018.html#0001R18
+Normal rank
@@ Property / OpenAlex ID @@
+W2888803631
@@ Property / OpenAlex ID: W2888803631 / rank @@
+Normal rank
@@ Property / title @@
+Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5079741