Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



1
TITLE: Probabilistic logic of quantum observations
AUTHORS: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: On probability and logic
AUTHORS: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLISHED: 2017, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 74, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS  Full Text
AUTHORS: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLISHED: 2016, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: A Roadmap to Decidability
AUTHORS: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLISHED: 2015, SOURCE: Studies in Universal Logic - The Road to Universal Logic
INDEXED IN: CrossRef
IN MY: ORCID
5
TITLE: Approximate reasoning about logic circuits with single-fan-out unreliable gates
AUTHORS: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
6
TITLE: Craig Interpolation in the Presence of Unreliable Connectives  Full Text
AUTHORS: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLISHED: 2014, SOURCE: Logica Universalis, VOLUME: 8, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: Fibring as Biporting Subsumes Asymmetric Combinations  Full Text
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2014, SOURCE: STUDIA LOGICA, VOLUME: 102, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
9
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
10
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
Page 1 of 9. Total results: 83.

A place for researchers and their institutions

Useful Links

Get Help

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