Login / Signup
Ruggero Pagnan
ORCID
Publication Activity (10 Years)
Years Active: 2012-2018
Publications (10 Years): 4
Top Topics
Multiscale
Proof Search
Cut Elimination
Linear Logic
Top Venues
CoRR
J. Log. Lang. Inf.
Arch. Math. Log.
Log. Methods Comput. Sci.
</>
Publications
</>
Ruggero Pagnan
Splitting idempotents in a fibered setting.
Arch. Math. Log.
57 (7-8) (2018)
Ruggero Pagnan
Ologisms.
Log. Methods Comput. Sci.
14 (3) (2018)
Ruggero Pagnan
Ologisms.
CoRR
(2017)
Ruggero Pagnan
Concrete Fibrations.
Notre Dame J. Formal Log.
58 (2) (2017)
Ruggero Pagnan
Syllogisms in Rudimentary Linear Logic, Diagrammatically.
J. Log. Lang. Inf.
22 (1) (2013)
Ruggero Pagnan
Syllogisms in Rudimentary Linear Logic, Diagrammatically
CoRR
(2013)
Ruggero Pagnan
A Diagrammatic Calculus of Syllogisms.
J. Log. Lang. Inf.
21 (3) (2012)