Favio Ezequiel Miranda-Perea

15 papers C 1Journal 7Unranked 6

Year	Rank	Type	Title / 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