A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. (2023)
Attributed to:
Structure vs. Invariants in Proofs (StrIP)
funded by
FLF
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://link.springer.com/chapter/10.1007/978-3-031-43513-3_5
Type: Conference/Paper/Proceeding/Abstract
Volume: 14278