scientific article; zbMATH DE number 1751350

zbMATH Open1011.03045MaRDI QIDQ4534366FDOQ4534366

Sergei Artemov, Tatiana Yavorskaya

Publication date: 29 May 2003

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

Title of this publication is not available (Why is that?)

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)

Cited In (22)

• On first-order theories with provability operator
• Intuitionistic hypothetical logic of proofs
• Referential logic of proofs
• First-order theorem proving: foreword
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logica
• Title not available (Why is that?)
• On causality as the fundamental concept of Gödel's philosophy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The number of proof lines and the size of proofs in first order logic
• Detection of First Order Axiomatic Theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Types for Proofs and Programs
• An elementary definability theorem for first order logic
• Title not available (Why is that?)
• On two classical results in the first order logic

   Recommendations

• Logic of proofs and provability 👍 👎
• Provability logics with quantifiers on proofs 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments 👍 👎

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)