Horn Linear Logic and Minsky Machines

Max Kanovich

Here we give a detailed proof for the crucial point in our Minsky machine simulation - that any linear logic derivation for a specific Horn sequent can be transformed into a Minsky…