Gabriele Pulcini


AuthID: R-00H-REZ

Publicações Confirmadas: 15



1
TÍTULO: FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC
AUTORES: Mario Piazza; Gabriele Pulcini ;
PUBLICAÇÃO: 2020, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 13, NÚMERO: 4
INDEXADO EM: Scopus WOS
2
TÍTULO: Paraconsistency in classical logic  Full Text
AUTORES: Gabriele Pulcini ; Achille C Varzi;
PUBLICAÇÃO: 2018, FONTE: SYNTHESE, VOLUME: 195, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
3
TÍTULO: Cut-elimination and deductive polarization in complementary classical logic  Full Text
AUTORES: Walter Alexandre Carnielli; Gabriele Pulcini ;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
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: 6
NO MEU: ORCID | DBLP
5
TÍTULO: Uniqueness of axiomatic extensions of cut-free classical propositional logic  Full Text
AUTORES: Mario Piazza; Gabriele Pulcini ;
PUBLICAÇÃO: 2016, FONTE: Logic Journal of the IGPL, VOLUME: 24, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
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  Full Text
AUTORES: Marcello D'Agostino; Mario Piazza; Gabriele Pulcini ;
PUBLICAÇÃO: 2014, FONTE: J. Applied Logic, VOLUME: 12, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
8
TÍTULO: A logic of non-monotonic interactions  Full Text
AUTORES: Giovanni Boniolo; Marcello D'Agostino; Mario Piazza; Gabriele Pulcini ;
PUBLICAÇÃO: 2013, FONTE: J. Applied Logic, VOLUME: 11, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
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

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