Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Cálculo de sequentes"'
Publikováno v:
CQD Revista Eletrônica Paulista de Matemática, Vol 21 (2021)
A utilização de métodos dedutivos alternativos ao axiomático (hilbertiano) tem sido de grande interesse para a Teoria da Prova e para a Teoria da Computação, sendo esta última caracterizada pela busca por métodos mais adequados para implement
Externí odkaz:
https://doaj.org/article/eb87a0e1aead45fd958263eb7ac7019a
Autor:
Mendes, Filipa Simões
Dissertação de mestrado em Matemática e Computação
Plotkin apresentou em 1975 a primeira proposta para o cálculo-lambda call-by-value, um sistema formal que modela uma linguagem de programação call-by-value, e vários outros sistemas tê
Plotkin apresentou em 1975 a primeira proposta para o cálculo-lambda call-by-value, um sistema formal que modela uma linguagem de programação call-by-value, e vários outros sistemas tê
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::81423a24b848767fa19cf19315b76ca5
https://hdl.handle.net/1822/85093
https://hdl.handle.net/1822/85093
Publikováno v:
INTERMATHS; v. 3 n. 2 (2022); 38-55
INTERMATHS; Vol. 3 Núm. 2 (2022); 38-55
INTERMATHS; Vol. 3 No. 2 (2022); 38-55
INTERMATHS; Vol. 3 Núm. 2 (2022); 38-55
INTERMATHS; Vol. 3 No. 2 (2022); 38-55
A lógica PM4N foi introduzida por Jean-Yves Beziau como um sistema modal e 4-valorado. No artigo introdutório, o autor apresentou o sistema a partir de uma lógica matricial com quatro valores dispostos em uma álgebra Booleana com um operador moda
Dissertação de mestrado em Matemática
A definição de uma lógica pode ser feita de duas formas distintas: semântica ou dedutivamente. No primeiro caso, bastar-nos-á determinar a estrutura algébrica associada a essa lógica para que esta
A definição de uma lógica pode ser feita de duas formas distintas: semântica ou dedutivamente. No primeiro caso, bastar-nos-á determinar a estrutura algébrica associada a essa lógica para que esta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::1879112986205eabd24c96dc931ca6c1
https://hdl.handle.net/1822/81283
https://hdl.handle.net/1822/81283
Publikováno v:
Repositório Institucional da UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP
Universidade Estadual Paulista (UNESP)
instacron:UNESP
Submitted by Douglas Alexandre Rodrigues (prof.dougrod@gmail.com) on 2021-04-30T22:08:23Z No. of bitstreams: 1 versão final - dissertação.pdf: 359276 bytes, checksum: 934d0cbe03981424b47d647fab9dd5e1 (MD5) Approved for entry into archive by Satie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::d5c7ba27a307d3d89dae6190e12c4f1f
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Tese de mestrado em Matemática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2014 Submitted by Cristina Manessiez (camanessiez@fc.ul.pt) on 2014-08-28T10:01:33Z No. of bitstreams: 1 ulfc109432_tm_Silvia_Reis.pdf: 111913
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::ae0474ae35de58b6ba5e296f8d15407b
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T14:54:25Z No. of bitstreams: 2 Dissertacao Ruan Carvalho.pdf: 760651 bytes, checksum: 11973d9d0a63868703fa87f2c9daf83b (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e7
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/12419
Autor:
Gladys Palau, Cecilia Durán
Publikováno v:
Principia: an international journal of epistemology; Vol. 13 No. 3 (2009); 357-370
Principia: an international journal of epistemology; Vol. 13 Núm. 3 (2009); 357-370
Principia: an international journal of epistemology; v. 13 n. 3 (2009); 357-370
Principia (Florianópolis. Online)
Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
Memoria académica
Principia: An International Journal of Epistemology, Vol 13, Iss 3, Pp 357-370 (2009)
Principia 13(3), 357-370. (2009)
Memoria Académica (UNLP-FAHCE)
Universidad Nacional de La Plata. Facultad Humanidades y Ciencias de la Educación
instacron:UNLP-FAHCE
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Principia: an international journal of epistemology; Vol. 13 Núm. 3 (2009); 357-370
Principia: an international journal of epistemology; v. 13 n. 3 (2009); 357-370
Principia (Florianópolis. Online)
Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
Memoria académica
Principia: An International Journal of Epistemology, Vol 13, Iss 3, Pp 357-370 (2009)
Principia 13(3), 357-370. (2009)
Memoria Académica (UNLP-FAHCE)
Universidad Nacional de La Plata. Facultad Humanidades y Ciencias de la Educación
instacron:UNLP-FAHCE
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
This work agrees and supports the I. Hacking's thesis regarding the meaning of the logical constants accordingly with Gentzen's Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::048cc2457cab9a8c29ac9a93a1b5854f
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p357
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p357