Order:
See also
Profile: Ruggero Pagnan (University of Genoa)
  1.  47
    A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
    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.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  23
    Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.
    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 logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and a (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3. Concrete Fibrations.Ruggero Pagnan - 2017 - Notre Dame Journal of Formal Logic 58 (2):179-204.
    As far as we know, no notion of concrete fibration is available. We provide one such notion in adherence to the foundational attitude that characterizes the adoption of the fibrational perspective in approaching fundamental subjects in category theory and discuss it in connection with the notion of concrete category and the notions of locally small and small fibrations. We also discuss the appropriateness of our notion of concrete fibration for fibrations of small maps, which is relevant to algebraic set theory.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography