Favio Ezequiel Miranda-Perea

15 papers C 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Fitch-Style Modal Necessity as a Substructural Sequent-Style System.
Computación y Sistemas (CyS)
Favio Ezequiel Miranda-Perea, Ximena Estrada Zavaleta, Lourdes Del Carmen González-Huesca
2023 J jnl
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas (CyS)
Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
2022 J jnl
A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis.
Computación y Sistemas
Favio Ezequiel Miranda-Perea, Sammantha Omana Silva, Lourdes Del Carmen González-Huesca
2022 J jnl
A dual-context sequent calculus for the constructive modal logic S4.
Math. Struct. Comput. Sci.
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo
2019 J jnl
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.
J. Appl. Non Class. Logics
Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo
2019 — conf
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence.
LSFA
Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo
2019 — conf
On Interactive Proof-Search for Constructive Modal Necessity.
LANMR (Selected Papers)
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
2019 — conf
On interactive proof-search for constructive modal necessity.
LANMR
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
2015 J jnl
How to prove it in Natural Deduction: A Tactical Approach.
CoRR
Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera
2011 — conf
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
LSFA
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca
2009 — conf
Selective Memoization with Box Types.
LSFA
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca
2009 J jnl
Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles.
RAIRO Theor. Informatics Appl.
Favio Ezequiel Miranda-Perea
2008 — conf
Some Remarks on Type Systems for Course-of-value Recursion.
LSFA
Favio Ezequiel Miranda-Perea
2004 — —
On extensions of AF2 with monotone and clausular (Co)inductive definitions.
Favio Ezequiel Miranda-Perea
2004 C conf
Realizability for Monotone and Clausular (Co)inductive Definitions.
WoLLIC
Favio Ezequiel Miranda-Perea