Basically, I was reading the comments to Equivalence of Deductive System $L_0$ and the Sequent Calculus and Mauro says that PC is A3 in sequent form. I don't quite understand this. Can someone please explain me how can PC be deduced from $L_0$?
Asked
Active
Viewed 139 times
1
-
You are right: a little bit too short as explanation... Here you can find how to derive Hilbert-style PC from Transposition (A3). – Mauro ALLEGRANZA Feb 14 '23 at 07:42