Miranda-Perea, Favio E., Universidad Nacional Autónoma de México, Mexico

• Vol 26, No 2 (2022): Emerging Issues and Applications of Fuzzy Systems, Neural Networks and Metaheuristics (Castillo, Melin, Montiel, Valdez) - Articles of the Thematic Section
  A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis
  Abstract  PDF
• Vol 27, No 1 (2023): 27(1) 2023 - Articles of the Thematic Section (2)
  Fitch-Style Modal Necessity as a Substructural Sequent-Style System
  Abstract  PDF