Negative Operations on Proofs and Labels

DOI10.1093/LOGCOM/EXI026zbMath1080.03039OpenAlexW2146150879MaRDI QIDQ5696306

No author found.

Publication date: 18 October 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26755

zbMATH Keywords

arithmetical completenessproof predicateLogic of Proofslabel of formulaoperation on proofs and propositionsstorage predicate

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (1)

Logic of proofs with substitution

This page was built for publication: Negative Operations on Proofs and Labels