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
ISSN: 2007-9737