Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Yavorskaya (Sidon), Tatiana
2001.
Logic of proofs and provability.
Annals of Pure and Applied Logic,
Vol. 113,
Issue. 1-3,
p.
345.
Alt, Jesse
and
Artemov, Sergei
2001.
Proof Theory in Computer Science.
Vol. 2183,
Issue. ,
p.
22.
Krupski, Vladimir N.
2001.
The single-conclusion proof logic and inference rules specification.
Annals of Pure and Applied Logic,
Vol. 113,
Issue. 1-3,
p.
181.
Kozen, D.
and
Tiuryn, J.
2001.
Intuitionistic linear logic and partial correctness.
p.
259.
van Dalen, Dirk
2002.
Handbook of Philosophical Logic.
p.
1.
Hjorth, Greg
2002.
2001–2002 Winter Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 8,
Issue. 2,
p.
312.
Kozen, Dexter
and
Tiuryn, Jerzy
2003.
Substructural logic and partial correctness.
ACM Transactions on Computational Logic,
Vol. 4,
Issue. 3,
p.
355.
Milnikel, Robert Saxon
2003.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty.
Vol. 2711,
Issue. ,
p.
564.
2003.
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 1,
p.
71.
Japaridze, Giorgi
2003.
Introduction to computability logic.
Annals of Pure and Applied Logic,
Vol. 123,
Issue. 1-3,
p.
1.
2003.
Many-Dimensional Modal Logics - Theory and Applications.
Vol. 148,
Issue. ,
p.
685.
Wells, Benjamin
2004.
Hypercomputation by definition.
Theoretical Computer Science,
Vol. 317,
Issue. 1-3,
p.
191.
Артемов, Сергей Николаевич
Artemov, Sergei Nikolaevich
Артемов, Сергей Николаевич
and
Artemov, Sergei Nikolaevich
2004.
Подход Колмогорова и Гeделя к интуиционистской логике и работы последнего десятилетия в этом направлении.
Успехи математических наук,
Vol. 59,
Issue. 2,
p.
9.
Ван Дален, Дирк
and
Van Dalen, Dirk
2004.
Колмогоров и Брауэр о конструктивной импликации и правило противоречия.
Успехи математических наук,
Vol. 59,
Issue. 2,
p.
53.
Milnikel, Robert Saxon
2005.
Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics.
Annals of Mathematics and Artificial Intelligence,
Vol. 44,
Issue. 1-2,
p.
1.
Fitting, Melvin
2005.
The logic of proofs, semantically.
Annals of Pure and Applied Logic,
Vol. 132,
Issue. 1,
p.
1.
Artemov, Sergei N.
and
Beklemishev, Lev D.
2005.
Handbook of Philosophical Logic, 2nd Edition.
Vol. 13,
Issue. ,
p.
189.
Artemov, Sergei
2005.
2004 Annual Meeting of the Association for Symbolic Logic.
Bulletin of Symbolic Logic,
Vol. 11,
Issue. 1,
p.
92.
Krupski, Nikolai V.
2006.
On the complexity of the reflected logic of proofs.
Theoretical Computer Science,
Vol. 357,
Issue. 1-3,
p.
136.
Krupski, Vladimir N.
2006.
Referential logic of proofs.
Theoretical Computer Science,
Vol. 357,
Issue. 1-3,
p.
143.