scientific article; zbMATH DE number 1751350

MaRDI QIDQ4534366zbMATH OpenFDO

Authors Tatiana Yavorskaya, Sergei Artemov

Publication date 29 May 2003

Full work available at URL http://www.ams.org/distribution/mmj/vol1-4-2001/artsidon.pdf

zbMATH Keywords

logic of proofsprovabilityrecursive axiomatizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Logic of proofs and provability
• Provability logics with quantifiers on proofs
• scientific article; zbMATH DE number 1989643
• scientific article; zbMATH DE number 3963790
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments

Cited in

(24)

• The number of proof lines and the size of proofs in first order logic
• On causality as the fundamental concept of Gödel's philosophy
• Referential logic of proofs
• Intuitionistic hypothetical logic of proofs
• Detection of First Order Axiomatic Theories
• On two classical results in the first order logic
• Systems of axioms and models for the first order theories with provability operator
• scientific article; zbMATH DE number 3908410 (Why is no real title available?)
• scientific article; zbMATH DE number 4045717 (Why is no real title available?)
• Possible world semantics for first-order logic of proofs
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 1354137 (Why is no real title available?)
• First-order theorem proving: foreword
• scientific article; zbMATH DE number 638619 (Why is no real title available?)
• On first-order theories with provability operator
• scientific article; zbMATH DE number 1078591 (Why is no real title available?)
• scientific article; zbMATH DE number 1989643 (Why is no real title available?)
• scientific article; zbMATH DE number 1761887 (Why is no real title available?)
• scientific article; zbMATH DE number 1910376 (Why is no real title available?)
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• An elementary definability theorem for first order logic
• scientific article; zbMATH DE number 1440090 (Why is no real title available?)
• Logica
• Types for Proofs and Programs

This page was built for publication:

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