Gabriele Pulcini


AuthID: R-00H-REZ

Confirmed Publications: 14



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

A place for researchers and their institutions

Useful Links

Get Help

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