Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
Ologisms
Ruggero Pagnan
We introduce ologisms. They generate from ologs by extending their logical expressivity, from the possibility of considering constraints of equational nature only to the possibilit…
cs.LO2013
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…