Buscar
Mostrando ítems 1-10 de 58
Extração automática de cálculos de Hilbert associados aos fragmentos da lógica clássicaAutomatic extraction of Hilbert Calculi associated to fragments of classical logic
(Universidade Federal do Rio Grande do NorteBrasilUFRNBacharelado em Ciência da Computação, 2019)
Aritmetizando la geometría desde dentro: el cálculo de segmentos [Streckenrechnung] de David HilbertArithmetizing the geometry from inside: David Hilbert's segment calculus
(Universidade de São Paulo. Departamento de Filosofia, 2015-03)
Sobre la base que aportan las notas manuscritas de David Hilbert para cursos sobre geometría, el artículo procura contextualizar y analizar una de las contribuciones más importantes y novedosas de su célebre monografía ...
A note on the star order in Hilbert spaces
(Taylor & Francis Ltd, 2010-04)
We study the star order on the algebra L(H) of bounded operators on a Hilbert space H. We present a new interpretation of this order which allows to generalize to this setting many known results for matrices: functional ...
Internal proof calculi for modal logics with separating conjunction
(Oxford University Press, 2021-04)
Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for ...
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic
(Springer, 2016-12)
The variety SH of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Universidad Nacional del Sur, Bahía Blanca, 2008) [13] as an abstraction of ...
Sobre a lógica da verdade pragmática em cálculo de sequentes
(Universidade Estadual Paulista (Unesp), 2021-02-26)
O objetivo central desta pesquisa é desenvolver um método dedutivo alternativo para a Lógica da Verdade Pragmática (Logic of Pragmatic Truth - LPT) em cálculo de sequentes. Neste sentido, apresentaremos inicialmente o ...
Coorbit spaces of symbols for square integrable families of operators
(Editura Acad. Romani, 2016)
The aim of this article is to provide a unified construction of coorbit spaces of symbols for the calculus associated to a square-integrable family of bounded Hilbert space operators, going far beyond the group theoretic ...
Indeterminações
(Universidade Tecnológica Federal do ParanáCuritibaBrasilPrograma de Pós-Graduação em Matemática em Rede NacionalUTFPR, 2017-12-12)
This work is about the seven mathematical indeterminate forms. It presents a review of many Calculus textbooks and shows that all of them treat the subject of indeterminate forms in similar way, by using the L’Hôspital’s ...
Extensión de la derivada de orden natural a un orden real.
(Universidad Pedagógica NacionalLicenciatura en MatemáticasFacultad de Ciencia y Tecnología, 2021)
El presente trabajo tiene por objetivo extender la derivada de orden natural a un orden real y estudiar algunas de sus propiedades básicas. Para esta construcción el documento contiene cuatro capítulos titulados: Funciones ...