Deducibility and Independence in Beklemishev's Autonomous Provability Calculus

DOI10.1016/J.IC.2021.104758arXiv2008.13445WikidataQ114014314 ScholiaQ114014314MaRDI QIDQ6348066

David Fernández-Duque, Eduardo Hermo Reyes

Publication date: 31 August 2020

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Deducibility and Independence in Beklemishev's Autonomous Provability Calculus