Crossref Citations
This article 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.
Dowek, Gilles
2002.
STACS 2002.
Vol. 2285,
Issue. ,
p.
50.
Dowek, Gilles
2005.
Automated Deduction – CADE-20.
Vol. 3632,
Issue. ,
p.
1.
Negri, Sara
2005.
Proof Analysis in Modal Logic.
Journal of Philosophical Logic,
Vol. 34,
Issue. 5-6,
p.
507.
Hakli, Raul
and
Negri, Sara
2008.
Computational Logic in Multi-Agent Systems.
Vol. 5056,
Issue. ,
p.
100.
Pambuccian, Victor
2008.
Axiomatizing geometric constructions.
Journal of Applied Logic,
Vol. 6,
Issue. 1,
p.
24.
AVIGAD, JEREMY
DEAN, EDWARD
and
MUMMA, JOHN
2009.
A FORMAL SYSTEM FOR EUCLID’SELEMENTS.
The Review of Symbolic Logic,
Vol. 2,
Issue. 4,
p.
700.
Houtmann, Clément
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
169.
Plato, Jan von
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
667.
Arana, A.
2009.
On Formally Measuring and Eliminating Extraneous Notions in Proofs.
Philosophia Mathematica,
Vol. 17,
Issue. 2,
p.
189.
von Plato, Jan
2010.
Combinatorial analysis of proofs in projective and affine geometry.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 2,
p.
144.
Kanckos, Annika
2010.
Consistency of Heyting arithmetic in natural deduction.
Mathematical Logic Quarterly,
Vol. 56,
Issue. 6,
p.
611.
Pambuccian, Victor
2010.
Forms of the Pasch axiom in ordered geometry.
Mathematical Logic Quarterly,
Vol. 56,
Issue. 1,
p.
29.
Beckmann, Arnold
and
Buss, Samuel R.
2011.
Corrected upper bounds for free-cut elimination.
Theoretical Computer Science,
Vol. 412,
Issue. 39,
p.
5433.
Hakli, Raul
and
Negri, Sara
2011.
Reasoning About Collectively Accepted Group Beliefs.
Journal of Philosophical Logic,
Vol. 40,
Issue. 4,
p.
531.
Negri, Sara
2011.
Proof Theory for Modal Logic.
Philosophy Compass,
Vol. 6,
Issue. 8,
p.
523.
Dyckhoff, Roy
and
Negri, Sara
2012.
Proof analysis in intermediate logics.
Archive for Mathematical Logic,
Vol. 51,
Issue. 1-2,
p.
71.
Dyckhoff, Roy
Sadrzadeh, Mehrnoosh
and
Truffaut, Julien
2012.
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators.
Electronic Notes in Theoretical Computer Science,
Vol. 286,
Issue. ,
p.
157.
Negri, Sara
2013.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 8123,
Issue. ,
p.
5.
Maffezioli, Paolo
Naibo, Alberto
and
Negri, Sara
2013.
The Church–Fitch knowability paradox in the light of structural proof theory.
Synthese,
Vol. 190,
Issue. 14,
p.
2677.