Gabriele Pulcini


AuthID: R-00H-REZ

Confirmed Publications: 15



1
TITLE: FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC
AUTHORS: Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2020, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 13, ISSUE: 4
INDEXED IN: Scopus WOS
2
TITLE: Paraconsistency in classical logic  Full Text
AUTHORS: Gabriele Pulcini ; Achille C Varzi;
PUBLISHED: 2018, SOURCE: SYNTHESE, VOLUME: 195, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
3
TITLE: Cut-elimination and deductive polarization in complementary classical logic  Full Text
AUTHORS: Walter Alexandre Carnielli; Gabriele Pulcini ;
PUBLISHED: 2017, SOURCE: Logic Journal of the IGPL, VOLUME: 25, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
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: 6
IN MY: ORCID | DBLP
5
TITLE: Uniqueness of axiomatic extensions of cut-free classical propositional logic  Full Text
AUTHORS: Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
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  Full Text
AUTHORS: Marcello D'Agostino; Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2014, SOURCE: J. Applied Logic, VOLUME: 12, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
8
TITLE: A logic of non-monotonic interactions  Full Text
AUTHORS: Giovanni Boniolo; Marcello D'Agostino; Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2013, SOURCE: J. Applied Logic, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
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.

A place for researchers and their institutions

Useful Links

Get Help

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