Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Sérgio Marcelino"'
Autor:
Carlos Caleiro, Sérgio Marcelino
Publikováno v:
Mathematics, Vol 10, Iss 19, p 3481 (2022)
Transfer theorems for combined logics provide essential tools and insight for reasoning about complex logical systems. In this paper, we present the first sufficient criterion (contextual extensibility) for decidability to be preserved through combin
Externí odkaz:
https://doaj.org/article/4ff26a5045504d9cbf39a8fdc0cfa9c8
Autor:
Sérgio Marcelino, Umesh Chandra
Publikováno v:
Revista Águas Subterrâneas, Vol 0, Iss 0 (1982)
Resumo não disponível.
Externí odkaz:
https://doaj.org/article/f20d9aa9d7a64579af6db8b5030ed4f8
Autor:
Gomes, Luiz Sérgio Marcelino, Roos, Milton Valdomiro, Takata, Edmilson Takehiro, Schuroff, Ademir Antônio, Alves, Sérgio Delmonte, Camisa Júnior, Antero, Miranda, Ricardo Horta
Publikováno v:
In Revista Brasileira de Ortopedia (English Edition) 2017 52 Supplement 1:3-13
Autor:
Gomes, Luiz Sérgio Marcelino, Roos, Milton Valdomiro, Takehiro Takata, Edmilson, Schuroff, Ademir Antônio, Alves, Sérgio Delmonte, Camisa Júnior, Antero, Horta Miranda, Ricardo
Publikováno v:
In Revista Brasileira de Ortopedia 2017 52 Supplement 1:3-13
Publikováno v:
Journal of Logic and Computation. 32:1694-1719
Recent compositionality results in logic have highlighted the advantages of enlarging the traditional notion of logical matrix semantics, namely by incorporating non-determinism and partiality. Still, several important properties which are known to b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::627862d4143345eeee8463fe8f4a8534
https://doi.org/10.1093/logcom/exac073
https://doi.org/10.1093/logcom/exac073
Publikováno v:
In Revista Brasileira de Ortopedia (English Edition) January-February 2016 51(1):29-35
Publikováno v:
In Revista Brasileira de Ortopedia January-February 2016 51(1):29-35
Autor:
Sérgio Marcelino, Umberto Rivieccio
Publikováno v:
CIÊNCIAVITAE
This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means of finite Hilbert calculi. On the side of negative results, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2164976490206e6c0cda5b0457341c5d
https://doi.org/10.1093/jigpal/jzac043
https://doi.org/10.1093/jigpal/jzac043
Publikováno v:
In Revista Brasileira de Ortopedia (English Edition) November-December 2015 50(6):686-693
Publikováno v:
In Revista Brasileira de Ortopedia November-December 2015 50(6):686-693