8 citations · 10 across the 6 of their papers we have counts for
6 papers
Debunking Cantor: New Set-Theoretical and Logical Considerations
Juan A Perez
For more than a century, Cantor's theory of transfinite numbers has played a pivotal role in set theory, with ramifications that extend to many areas of mathematics. This article e…
Collatz Conjecture: Is It False?
Juan A. Perez
For a long time, Collatz Conjecture has been assumed to be true, although a formal proof has eluded all efforts to date. In this article, evidence is presented that suggests such a…
Separation Logic Modulo Theories
Juan Antonio Navarro-Pérez, Andrey Rybalchenko
Logical reasoning about program data often requires dealing with heap structures as well as scalar data types. Recent advances in Satisfiability Modular Theory (SMT) already offer…
A new proof of Goodstein's Theorem
Juan A. Perez
Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a…
Applications of Intuitionistic Logic in Answer Set Programming
Mauricio Osorio, Juan Antonio Navarro, Jose Arrazola
We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionisti…
On an ambiguity in the concept of partial and total derivatives in classical analysis
Andrew E. Chubykalo, Rolando A. Flores, Juan A. Pérez
Ambiguity is shown in the context of the differential calculus of several variables and with the help of the language of category theory, a way to solve it in its most general form…