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.
Negri, Sara
2005.
Proof Analysis in Modal Logic.
Journal of Philosophical Logic,
Vol. 34,
Issue. 5-6,
p.
507.
Dowek, Gilles
2005.
Automated Deduction – CADE-20.
Vol. 3632,
Issue. ,
p.
1.
Pambuccian, Victor
2008.
Axiomatizing geometric constructions.
Journal of Applied Logic,
Vol. 6,
Issue. 1,
p.
24.
Hakli, Raul
and
Negri, Sara
2008.
Computational Logic in Multi-Agent Systems.
Vol. 5056,
Issue. ,
p.
100.
Houtmann, Clément
2009.
Types for Proofs and Programs.
Vol. 5497,
Issue. ,
p.
169.
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.
Arana, A.
2009.
On Formally Measuring and Eliminating Extraneous Notions in Proofs.
Philosophia Mathematica,
Vol. 17,
Issue. 2,
p.
189.
Plato, Jan von
2009.
Logic from Russell to Church.
Vol. 5,
Issue. ,
p.
667.
Pambuccian, Victor
2010.
Forms of the Pasch axiom in ordered geometry.
Mathematical Logic Quarterly,
Vol. 56,
Issue. 1,
p.
29.
Kanckos, Annika
2010.
Consistency of Heyting arithmetic in natural deduction.
Mathematical Logic Quarterly,
Vol. 56,
Issue. 6,
p.
611.
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.
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.
Beckmann, Arnold
and
Buss, Samuel R.
2011.
Corrected upper bounds for free-cut elimination.
Theoretical Computer Science,
Vol. 412,
Issue. 39,
p.
5433.
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.
Dyckhoff, Roy
Sadrzadeh, Mehrnoosh
and
Truffaut, Julien
2013.
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators.
ACM Transactions on Computational Logic,
Vol. 14,
Issue. 4,
p.
1.