P. Selene Linares-Arévalo

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 5

Top Topics

Computing Systems

Top Venues

LANMR (Selected Papers)

J. Appl. Non Class. Logics

Publications

Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
On interactive proof-search for constructive modal necessity. LANMR (2019)
Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. J. Appl. Non Class. Logics 29 (3) (2019)
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
On Interactive Proof-Search for Constructive Modal Necessity. LANMR (Selected Papers) (2019)
Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. LSFA (2019)
Favio E. Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera
How to prove it in Natural Deduction: A Tactical Approach. CoRR (2015)