Buscar
Mostrando ítems 1-10 de 68
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
(Universidad Nacional José Faustino Sánchez CarriónPE, 2021-01-25)
Objetivo: La investigación tuvo como objetivo interpretar el cálculo de secuente de la Lógica Intuicionista con ayuda de la teoría de Categorías. Metodología: La metodología que se empleo fue de tipo teórica, de alcance ...
Em direção aos N-Grafos intuicionistas
(Universidade Federal de Pernambuco, 2014)
¿Por qué recordamos a Brouwer?
(Academia Nacional de Ciencias de Buenos Aires, 2023)
Lógica intuicionista dual y álgebras de Co-Heyting
(2009-12)
Presentamos ejemplos de álgebras de Heyting, co-Heyting y bi-Heyting y relaciones con las lógicas intuicionista, dual-intuicionista y bi-intuicionista. Estudiamos los operadores modales descritos en Reyes and Zolfaghari, ...
Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2018)
O método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
(Sociedade Brasileira de Matemática Aplicada e Computacional - SBMAC, 2021-09-06)
Sette and Carnielli introduced the axiomatic system I1 in 1995, which presents an intuitionistic character, in the same regard of the logical system developed by Arend Heyting (1898-1980), that is, as a logic underlying ...
Sistema Deductivo Basado en Grafos para la Lógica intuicionista
(Universidad Nacional de San Agustín de Arequipa, 2019)
El sistema geométrico de deducción denominado de N-Grafos fue introducido por De Oliveira en el año 2001. Las pruebas en este sistema son representadas por medio de digrafos. Estos grafos de pruebas se basan en la deducción ...
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...