A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points

Saved in:
Bibliographic Details
Published in:Automated Reasoning with Analytic Tableaux and Related Methods Vol. 14278
Format: Book Chapter
Language:English
Published: Switzerland Springer 2023
ISBN:9783031435126, 3031435125
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISBN:9783031435126
3031435125
DOI:10.1007/978-3-031-43513-3_12