2 papers
cs.LO2003
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…
math.CA1999
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…