Favio Ezequiel Miranda-Perea

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Prime Implicates

Computationally Intensive

Top Venues

Computación y Sistemas (CyS)

Math. Struct. Comput. Sci.

Publications

Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning. Computación y Sistemas (CyS) 27 (1) (2023)
Favio Ezequiel Miranda-Perea, Ximena Estrada Zavaleta, Lourdes Del Carmen González-Huesca
Fitch-Style Modal Necessity as a Substructural Sequent-Style System. Computación y Sistemas (CyS) 27 (1) (2023)
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo
A dual-context sequent calculus for the constructive modal logic S4. Math. Struct. Comput. Sci. 32 (9) (2022)