Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cellucci, Carlo
1992.
Existential instantiation and normalization in sequent natural deduction.
Annals of Pure and Applied Logic,
Vol. 58,
Issue. 2,
p.
111.
Alkmim, Bernardo
Haeusler, Edward
and
Schwabe, Daniel
2021.
AI Approaches to the Complexity of Legal Systems XI-XII.
Vol. 13048,
Issue. ,
p.
106.
Shangin, Vasily
2023.
A classical first-order normalization procedure with $$\forall $$ and $$\exists $$ based on the Milne–Kürbis approach.
Synthese,
Vol. 202,
Issue. 2,
Oswald, James T.
and
Rozek, Brandon
2023.
Parallel Verification of Natural Deduction Proof Graphs.
Electronic Proceedings in Theoretical Computer Science,
Vol. 396,
Issue. ,
p.
36.
Balbiani, Philippe
Gao, Han
Gencer, Çiğdem
and
Olivetti, Nicola
2024.
Automated Reasoning.
Vol. 14740,
Issue. ,
p.
78.