6 papers
A note on the slicing of fibrations
Ruggero Pagnan
We describe the construction of the slice fibration of a given one.
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…
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…
Concrete fibrations
Ruggero Pagnan
As far as we know no notion of concreteness for fibrations exists. We introduce such a notion and discuss some basic results about it.
A diagrammatic calculus of n-term syllogisms
Ruggero Pagnan
We extend the diagrammatic calculus of syllogisms introduced in our previous paper to the general case of n-term syllogisms, showing that the valid ones are exactly those whose con…
A diagrammatic calculus of syllogisms
Ruggero Pagnan
A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.