João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
41
TITLE: Fibring of Logics as a Universal Construction
AUTHORS: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLISHED: 2005, SOURCE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
AUTHORS: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLISHED: 2005, SOURCE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
42
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXED IN:
WOS
IN MY:
ResearcherID
43
TITLE: Labelled Deduction over Algebras of Truth-Values*
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science