Negative Operations on Proofs and Labels

DOI10.1093/LOGCOM/EXI026MaRDI QIDQ5696306zbMATH OpenOpenAlexFDO

Authors

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 completenesslabel of formulaLogic of Proofsoperation on proofs and propositionsproof predicatestorage predicate

Mathematics Subject Classification ID

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

Recommendations

• Operations on proofs and labels
• Logic of Proofs and Labels with a Complete Set of Operations
• scientific article; zbMATH DE number 1735872
• The basic intuitionistic logic of proofs
• Logic of proofs and provability

Cited in

(4)

• Operations on proofs and labels
• scientific article; zbMATH DE number 1735872 (Why is no real title available?)
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Logic of proofs with substitution

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5696306)