Walter Carnielli
AuthID: R-006-EDW
1
TITLE: REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET-COMBINATION
AUTHORS: Rasga, J; Sernadas, C; Carnielli, W;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 1
AUTHORS: Rasga, J; Sernadas, C; Carnielli, W;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 1
INDEXED IN: 
WOS
WOS2
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 WOS3
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
4
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
CrossRef5
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
6
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
7
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
DBLP8
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
