Výsledky vyhledávání - "Lógica intuicionista"

Variações sobre o cálculo-lambda call-by-value

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ê

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______307::81423a24b848767fa19cf19315b76ca5
https://hdl.handle.net/1822/85093

Zobrazit plný text záznamu

Anselme et Descartes, Deux Arguments Logico-Théologiques

Autor: Vidal-Rosset, Joseph

Publikováno v: Revista de Filosofia Moderna e Contemporânea
Revista de Filosofia Moderna e Contemporânea, do Departamento de Filosofia e do Programa de Pós-graduação em Filosofia da Universidade de Brasília, 2020, ⟨10.26512/rfmc.v8i1.31015⟩
Journal of Modern and Contemporary Philosophy; Vol. 8 No. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea; Vol. 8 Núm. 1 (2020): Dossiê "Formas da Razão"; 217-232
Revista de Filosofia Moderna e Contemporânea; v. 8 n. 1 (2020): Dossiê "Formas da Razão"; 217-232

This paper proves that Anselm’s and Descartes’s argument for the existence of God are respectively valid in classical first-order logic and in intuitionistic first-order logic. Contrarily to Anselm’s argument, Descartes avoids Kant’s criticis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::84a92888a54202693322a289851ca279
https://hal.archives-ouvertes.fr/hal-02472970v2/document

Zobrazit plný text záznamu

Akademický článek

TRUTHMAKERS, THE DISJUNCTION THESIS AND THE PRINCIPLE OF EXCLUDED MIDDLE FAZEDORES-DE-VERDADE, A TESE DA DISJUNÇÃO E O PRINCÍPIO DO TERCEIRO EXCLUÍDO

Autor: Abilio Azambuja Rodrigues Filho

Publikováno v: Philósophos : Revista de Filosofia, Vol 12, Iss 2 (2009)

The aim of this paper is to present and analyze the truthmaker monism, a result according to which any truthmaker makes true any true proposition. Truthmaker monism depends on the characterization of the truthmaking relation in terms of strict implic

Externí odkaz: https://doaj.org/article/4856ee8c9a1c4603b5a20926df735e96

Zobrazit plný text záznamu

Akademický článek

Criterios parciales de logicidad

Autor: Janusz Maciaszek

Publikováno v: Anales del Seminario de Historia de la Filosofía, Vol 22 (2005)

El propósito de este trabajo es mostrar una estrategia general para construir y conectar criterios de logicidad. Se distinguen tres criterios parciales (transparencia para expresiones, neutralidad tópica para relación de consecuencia, y universali

Externí odkaz: https://doaj.org/article/96439e12b87c46d3b9e228da70e01409

Zobrazit plný text záznamu

Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica

Autor: CARVALHO, Ruan Vasconcelos Bezerra

Publikováno v: Repositório Institucional da UFPE
Universidade Federal de Pernambuco (UFPE)
instacron:UFPE

Como verificar se uma prova clássica também é intuicionista? Em dedução natural basta não haver ocorrência da lei do terceiro excluído ou da eliminação da dupla negação, conforme proposto por Gentzen. No seu cálculo de sequentes o mesmo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::f821ced74469f3cc71fa88da6355adfc
https://repositorio.ufpe.br/handle/123456789/28009

Zobrazit plný text záznamu

Contra el pluralismo lógico modalista

Autor: Tajer, Diego Ezequiel

Publikováno v: Eidos, Issue: 25, Pages: 286-309, Published: 15 JUL 2016

En este artículo argumento en contra del pluralismo lógico modalista de Bueno y Shalkowski (2009). En la primera parte muestro que no está bien motivado, al menos si su motivación surge de las objeciones que le hacen al enfoque de Beall y Restall

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______618::2c6e0005d2d08ca8c4ef88d5b9c18635
http://www.scielo.org.co/scielo.php?script=sci_arttext&pid=S1692-88572016000200012&lng=en&tlng=en

Zobrazit plný text záznamu

Against modalist logical pluralism

Autor: Tajer, Diego

Publikováno v: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cc5e7ce5e52e2dd5c42702d659e19a95
https://www.redalyc.org/articulo.oa?id=85445906012

Zobrazit plný text záznamu

Unificação das interpretações funcionais: via lógica linear intuicionista

Autor: Reis, Sílvia da Conceição Alexandre

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
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

Zobrazit plný text záznamu

Intermediate categories, relations and residuation

Autor: Carmona González, Juan Felipe

Publikováno v: Repositorio UN
Universidad Nacional de Colombia
instacron:Universidad Nacional de Colombia

Exploramos la interpretación de las relaciones dentro de las categorías intermedias entre las categorias cartesianas y los logoi de Freyd, y estudiamos su conexión con las lógicas intermedias, principalmente con la intuicionista de primer orden.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fecaca97b0cf1ae8295b55114df2f2a9
https://repositorio.unal.edu.co/handle/unal/6812

Zobrazit plný text záznamu

Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction

Autor: Bohórquez, Jaime

Publikováno v: Repositorio Institucional ECI
Escuela Colombiana de Ingeniería Julio Garavito
instacron:Escuela Colombiana de Ingeniería Julio Garavito

Dijkstra and Scholten have proposed a formalization of classical predicate logic on a novel deductive system as an alternative to Hilbert’s style of proof and Gentzen’s deductive systems. In this context we call it CED (Calculus of Equational Ded

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a0fb7fc0d370601c4c56ac98b8cf7acc
https://repositorio.escuelaing.edu.co/handle/001/1910

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání