João Filipe Quintas dos Santos Rasga


AuthID: R-000-6Z8

Confirmed Publications: 19



1
2
TITLE: Importing Logics: Soundness and Completeness Preservation  Full Text
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
3
TITLE: Preservation of Craig interpolation by the product of matrix logics  Full Text
AUTHORS: Sernadas, C ; Rasga, J ; Sernadas, A ;
PUBLISHED: 2013, SOURCE: JOURNAL OF APPLIED LOGIC, VOLUME: 11, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
4
TITLE: Importing Logics  Full Text
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2012, SOURCE: STUDIA LOGICA, VOLUME: 100, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
5
TITLE: On meet-combination of logics
AUTHORS: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
6
TITLE: On Combined Connectives  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLISHED: 2011, SOURCE: Logica Universalis, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: Fusion of sequent modal logic systems labelled with truth values  Full Text
AUTHORS: Joao Rasga ; Karina Roggia; Cristina Sernadas ;
PUBLISHED: 2010, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 18, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
8
TITLE: A Graph-theoretic Account of Logics
AUTHORS: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
9
TITLE: Interpolation via translations  Full Text
AUTHORS: Joao Rasga ; Walter Carnielli; Cristina Sernadas ;
PUBLISHED: 2009, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 55, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
10
TITLE: On Graph-theoretic Fibring of Logics
AUTHORS: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
Page 1 of 2. Total results: 19.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service