Miranda, Borja Sierra

1. Cyclic Proofs for iGL via Corecursion
   2023/10/16 by Miranda, Borja Sierra · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Coalgebraic proof translations for non-wellfounded proofs
   2025/06/02 by Borja Sierra Miranda, Thomas Studer, Miranda, Borja Sierra +3 · 3 citations
   Computer Science · #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
3. Algebraic Proof Theory for Infinitary Action Logic
   2025/01/30 by Wesley Fussner, Simon Santschi, Fussner, Wesley +2 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic