Výsledky vyhledávání - "Albuquerque, Hugo Cardoso"

Operators and strong versions of sentential logics in Abstract Algebraic Logic

Publikováno v: Dipòsit Digital de la UB
Universidad de Barcelona
TDX (Tesis Doctorals en Xarxa)
TDR. Tesis Doctorales en Red
instname

[eng] This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and develops an abstract frame

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9e9737fc6c590ed3fc20cfed48f77548
http://hdl.handle.net/10803/394003

Zobrazit plný text záznamu

Propositional logic via Lindenbaum-Tarski and Curry-Howard

Autor: Albuquerque, Hugo Cardoso

Mestrado em Matemática e Aplicações Pretendemos neste trabalho estudar a Lógica Proposicional enquanto “projecção” de duas correspondências di ferentes que a têm como parte comum. A primei ra estabelece uma ponte lógico-algébrica, a Ál

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2292::02e214e65c1377753e63edb677c6cd03
http://hdl.handle.net/10773/9689

Zobrazit plný text záznamu

Lógica proposicional via Lindenbaum-Tarski e Curry-Howard

Autor: Albuquerque, Hugo Cardoso

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

Mestrado em Matemática e Aplicações Submitted by Manuel Jesus (albertojesus@ua.pt) on 2013-02-15T10:46:00Z No. of bitstreams: 1 6682.pdf: 1098953 bytes, checksum: 7655259772e8d4077eaf9f3130a1008a (MD5) Made available in DSpace on 2013-02-15T10:46:

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::02e214e65c1377753e63edb677c6cd03

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání