Re: Negative translation for propositional linear (or affine) logic?

On 01/12/2024 14:15, Mild Shock wrote:

"Type system" can be another word for "logic with
proof terms", if you look at:
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

Indeed, a proof tree is a program and a solver is a compiler.  But the real point is about *pure* *formal* logic, how it works and is the only thing that works, as long as it pure: i.e. Logic proper is exactly outside and above it, before and after any mechanics.
The received meta-theories and "philosophies" are completely upside down and yet another global fraud on top of the genocides.  And the advent of their "AI", sold as a solution to problems when it's really the lobotomy on a side and the lying with numbers on the other: another nail in the global coffin.
-Julio