Ma. Paula Menchón

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 3

Top Topics

Decision Procedures

Classical Logic

Monotonicity Constraints

Top Venues

Arch. Math. Log.

J. Multiple Valued Log. Soft Comput.

Publications

Ma. Paula Menchón, Sergio A. Celani
Monotonic modal logics with a conjunction. Arch. Math. Log. 60 (7) (2021)
Sergio A. Celani, Ma. Paula Menchón
Monotonic Distributive Semilattices. Order 36 (3) (2019)
Petr Cintula, Ma. Paula Menchón, Carles Noguera
Toward a general frame semantics for modal many-valued logics. Soft Comput. 23 (7) (2019)
Sergio A. Celani, Ma. Paula Menchón
Remarks on General Monotonic Neighbourhood Frames. J. Multiple Valued Log. Soft Comput. 25 (4-5) (2015)