Syllogisms in Rudimentary Linear Logic, Diagrammatically

Ruggero Pagnan

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic log…