Post #2645662

@MartinEscardo@mathstodon.xyz This reminds me of something J-Y. Girard wrote, about it being a mistake to think of “intuitionistic logic” or “linear logic”, because there is only one Logic.