The following pages link to (Q2958526):
Displaying 17 items.
- Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs (Q1798782) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic (Q2988374) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- $\aleph_1$ and the modal $\mu$-calculus (Q4972732) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- (Q5028421) (← links)
- (Q5079743) (← links)
- (Q5079760) (← links)
- (Q5094136) (← links)
- (Q5208872) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points (Q6541152) (← links)
- Abstract cyclic proofs (Q6646012) (← links)
- Cyclic implicit complexity (Q6649449) (← links)
- Bouncing threads for circular and non-wellfounded proofs. Towards compositionality with circular proofs (Q6649500) (← links)
