Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Negri, Sara
2001.
Reuniting the Antipodes — Constructive and Nonstandard Views of the Continuum.
p.
143.
Negri, Sara
2002.
Varieties of Linear Calculi.
Journal of Philosophical Logic,
Vol. 31,
Issue. 6,
p.
569.
von Plato, Jan
2003.
Translations from natural deduction to sequent calculus.
Mathematical Logic Quarterly,
Vol. 49,
Issue. 5,
p.
435.
Abate, Pietro
and
Goré, Rajeev
2003.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 2796,
Issue. ,
p.
230.
Wiśniewski, Andrzej
2004.
Socratic Proofs.
Journal of Philosophical Logic,
Vol. 33,
Issue. 3,
p.
299.
Bimbó, Katalin
2005.
Admissibility of Cut in LC with Fixed Point Combinator.
Studia Logica,
Vol. 81,
Issue. 3,
p.
399.
Kamide, Norihiro
2005.
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.
Journal of Applied Non-Classical Logics,
Vol. 15,
Issue. 4,
p.
405.
Negri, Sara
2005.
Proof Analysis in Modal Logic.
Journal of Philosophical Logic,
Vol. 34,
Issue. 5-6,
p.
507.
Cheney, James
2005.
Foundations of Software Science and Computational Structures.
Vol. 3441,
Issue. ,
p.
379.
Francez, Nissim
2005.
Logical Aspects of Computational Linguistics.
Vol. 3492,
Issue. ,
p.
101.
Schroeder-Heister, Peter
2006.
Validity Concepts in Proof-theoretic Semantics.
Synthese,
Vol. 148,
Issue. 3,
p.
525.
Dyckhoff, Roy
and
Negri, Sara
2006.
Decision methods for linearly ordered Heyting algebras.
Archive for Mathematical Logic,
Vol. 45,
Issue. 4,
p.
411.
Zamansky, Anna
and
Avron, Arnon
2006.
Cut-Elimination and Quantification in Canonical Systems.
Studia Logica,
Vol. 82,
Issue. 1,
p.
157.
Santo, J. Espírito
Frade, M. J.
and
Pinto, L.
2006.
Term Rewriting and Applications.
Vol. 4098,
Issue. ,
p.
197.
Bílková, Marta
2007.
Uniform Interpolation and Propositional Quantifiers in Modal Logics.
Studia Logica,
Vol. 85,
Issue. 1,
p.
1.
Espírito Santo, José
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
118.
von Plato, Jan
2007.
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs.
Bulletin of Symbolic Logic,
Vol. 13,
Issue. 2,
p.
189.
Bimbó, Katalin
2007.
% MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaca % WGmbGaamyramaaDaaaleaacqGHsgIRaeaacaWG0baaaaaa!3C3E! $$ LE^{t}_{ \to } $$ , % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaaeaart1ev0aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbbjxAHX % garmWu51MyVXgatuuDJXwAK1uy0HwmaeHbfv3ySLgzG0uy0Hgip5wz % aebbnrfifHhDYfgasaacH8qrps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq % Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq % Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeWaeaaakeaaie % GacaWFmbGaa8NuamaaDaaaleaadaqiaaqaaiablYJi6aGaayPadaaa % baGaeSigI8gaaaaa!3C8D! $$LR^{ \circ }_{{\widehat{ \sim }}}$$ , LK and Cutfree Proofs.
Journal of Philosophical Logic,
Vol. 36,
Issue. 5,
p.
557.
Kurokawa, Hidenori
2007.
Logical Foundations of Computer Science.
Vol. 4514,
Issue. ,
p.
318.
Golińska-Pilarek, Joanna
and
Orłowska, Ewa
2007.
Tableaux and Dual Tableaux: Transformation of Proofs.
Studia Logica,
Vol. 85,
Issue. 3,
p.
283.