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