Buscar
Mostrando ítems 1-10 de 30
Possibilities of mathematical problems in logical thinking. Development of secondary education pupils
(Universidad del Zulia, 2019)
Geometrical Schemes as Probabilistic and Entropic Tools to Estimate Duration and Peaks of Pandemic Waves
(Institute of Electrical and Electronics EngineersPE, 2022-02-11)
At the end of first quarter of 2020 it was seen in most countries statistics the beginning of an imminent second wave of pandemic. On January of 2021 it was seen in the data a rapid growth of new infections. In this paper, ...
Geometry of Robinson consistency in Łukasiewicz logic
(Elsevier Science, 2007-06)
We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: ...
Formal diversity and the philosophy of the unit design decorative architectural formations
(Universidad del Zulia, 2019)
Formal Diversity and the Philosophy of the Unit Design Decorative Architectural Formations
(Universidad del Zulia, 2019)
Quantifier elimination for elementary geometry and elementary affine geometry
(Wiley VCH Verlag, 2012-11)
We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry (n ≥ 2), based on extending FO(β≡) and FO(β), respectively, with new function symbols. Here, β ...
Läuchli's completeness theorem from a topos-theoretic perspective
(Springer, 2010-04)
We prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus. The formulation of the result relies on the observation (due to Lawvere) that Läuchli's theorem is related to the logic of the ...
Leibniz, the Science and the Civil CodeLeibniz, la Ciencia y el Código Civil
(Pontificia Universidad Católica del Perú, 2015)