Citations of work:

Daniil Kozhemiachenko (2018). A Simulation of Natural Deduction and Gentzen Sequent Calculus.

Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Search for work by author name and title
Add directly by record ID

  1.  3
    Generalisation of Proof Simulation Procedures for Frege Systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.
    Direct download (5 more)  
    Export citation