Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kozen, D.
and
Tiuryn, J.
2001.
Intuitionistic linear logic and partial correctness.
p.
259.
Alt, Jesse
and
Artemov, Sergei
2001.
Proof Theory in Computer Science.
Vol. 2183,
Issue. ,
p.
22.
Yavorskaya (Sidon), Tatiana
2001.
Logic of proofs and provability.
Annals of Pure and Applied Logic,
Vol. 113,
Issue. 1-3,
p.
345.
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.
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.
Milnikel, Robert Saxon
2003.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty.
Vol. 2711,
Issue. ,
p.
564.
Japaridze, Giorgi
2003.
Introduction to computability logic.
Annals of Pure and Applied Logic,
Vol. 123,
Issue. 1-3,
p.
1.
Kozen, Dexter
and
Tiuryn, Jerzy
2003.
Substructural logic and partial correctness.
ACM Transactions on Computational Logic,
Vol. 4,
Issue. 3,
p.
355.
2003.
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 1,
p.
71.
2003.
Many-Dimensional Modal Logics - Theory and Applications.
Vol. 148,
Issue. ,
p.
685.
Артемов, Сергей Николаевич
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.
Wells, Benjamin
2004.
Hypercomputation by definition.
Theoretical Computer Science,
Vol. 317,
Issue. 1-3,
p.
191.
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.
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.
Fitting, Melvin
2005.
The logic of proofs, semantically.
Annals of Pure and Applied Logic,
Vol. 132,
Issue. 1,
p.
1.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
Fitting, Melvin
2006.
A Quantified Logic of Evidence.
Electronic Notes in Theoretical Computer Science,
Vol. 143,
Issue. ,
p.
59.