Walter Carnielli
AuthID: R-006-EDW
1
TÃTULO: POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES Full Text
AUTORES: Juan C Agudelo; Walter Carnielli;
PUBLICAÇÃO: 2011, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, NÚMERO: 1
AUTORES: Juan C Agudelo; Walter Carnielli;
PUBLICAÇÃO: 2011, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Paraconsistent Machines and their Relation to Quantum Computing
AUTORES: Juan C Agudelo; Walter Carnielli;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 20, NÚMERO: 2
AUTORES: Juan C Agudelo; Walter Carnielli;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 20, NÚMERO: 2
3
TÃTULO: POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES Full Text
AUTORES: JUAN C AGUDELO; WALTER CARNIELLI;
PUBLICAÇÃO: 2010, FONTE: The Review of Symbolic Logic, VOLUME: 4, NÚMERO: 01
AUTORES: JUAN C AGUDELO; WALTER CARNIELLI;
PUBLICAÇÃO: 2010, FONTE: The Review of Symbolic Logic, VOLUME: 4, NÚMERO: 01
INDEXADO EM: 
CrossRef
CrossRef4
TÃTULO: Interpolation via translations Full Text
AUTORES: Joao Rasga ; Walter Carnielli; Cristina Sernadas ;
PUBLICAÇÃO: 2009, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 55, NÚMERO: 5
AUTORES: Joao Rasga ; Walter Carnielli; Cristina Sernadas ;
PUBLICAÇÃO: 2009, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 55, NÚMERO: 5
5
TÃTULO: Preservation of interpolation features by fibring
AUTORES: Walter Carnielli; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, NÚMERO: 1
AUTORES: Walter Carnielli; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, NÚMERO: 1
6
TÃTULO: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: Journal of Logic, Language and Information, VOLUME: 12, NÚMERO: 2
AUTORES: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLICAÇÃO: 2003, FONTE: Journal of Logic, Language and Information, VOLUME: 12, NÚMERO: 2
INDEXADO EM: 
DBLP
DBLP7
TÃTULO: Modulated fibring and the collapsing problem
AUTORES: Sernadas, C ; Rasga, J ; Carnielli, WA;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, NÚMERO: 4
AUTORES: Sernadas, C ; Rasga, J ; Carnielli, WA;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, NÚMERO: 4
