Gabriele Pulcini


AuthID: R-00H-REZ

Publicações Confirmadas: 15



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service