A metapredicative study of μ-arithmetics
No Thumbnail Available
Date
2025-01-27
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic
through the medium of illfounded proofs and continuous cut elimination.