本論文では、線形論理の変種である節約的論理(parsimonious logic)の文脈で、循環的および非良形式の証明の複雑性理論的側面を調査している。
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Matteo Accla... lúc arxiv.org 04-05-2024
https://arxiv.org/pdf/2404.03311.pdfYêu cầu sâu hơn