Gabriele Pulcini


AuthID: R-00H-REZ

Confirmed Publications: 15



1
TITLE: FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC  Full Text
AUTHORS: Piazza, M; Pulcini, G ;
PUBLISHED: 2020, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 13, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
2
TITLE: Paraconsistency in classical logic  Full Text
AUTHORS: Pulcini, G ; Varzi, AC;
PUBLISHED: 2018, SOURCE: SYNTHESE, VOLUME: 195, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
3
TITLE: Cut-elimination and deductive polarization in complementary classical logic
AUTHORS: Walter Alexandre Carnielli; Gabriele Pulcini ;
PUBLISHED: 2017, SOURCE: Log. J. IGPL, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
4
TITLE: Unifying logics via context-sensitiveness
AUTHORS: Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2017, SOURCE: J. Log. Comput., VOLUME: 27, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 14
IN MY: ORCID
5
TITLE: Uniqueness of axiomatic extensions of cut-free classical propositional logic
AUTHORS: Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2016, SOURCE: Log. J. IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
6
TITLE: Adding logic to the toolbox of molecular biology
AUTHORS: Boniolo, G; D’Agostino, M; Piazza, M; Pulcini, G ;
PUBLISHED: 2015, SOURCE: European Journal for Philosophy of Science, VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
7
TITLE: A logical calculus for controlled monotonicity
AUTHORS: Marcello D'Agostino; Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2014, SOURCE: J. Appl. Log., VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
8
TITLE: A logic of non-monotonic interactions
AUTHORS: Giovanni Boniolo; Marcello D'Agostino; Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2013, SOURCE: J. Appl. Log., VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID
9
TITLE: Rewriting systems for the surface classification theorem
AUTHORS: Gabriele Pulcini ;
PUBLISHED: 2010, SOURCE: Mathematical Structures in Computer Science, VOLUME: 20, ISSUE: 4
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
10
TITLE: Rewriting systems for the surface classification theorem
AUTHORS: GABRIELE PULCINI ;
PUBLISHED: 2010, SOURCE: Mathematical Structures in Computer Science, VOLUME: 20, ISSUE: 04
INDEXED IN: CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 15.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service