Favio Ezequiel Miranda-Perea

Ximena Estrada Zavaleta

Computación y Sistemas (CyS), 2023

Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.

[BibT_eX]

[DOI]

Everardo Bárcenas

Miguel Pérez-Gaspar

Computación y Sistemas (CyS), 2023

2022

A dual-context sequent calculus for the constructive modal logic S4.

[BibT_eX]

[DOI]

Pilar Selene Linares-Arévalo

Math. Struct. Comput. Sci., October, 2022

A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis.

[BibT_eX]

[DOI]

Sammantha Omana Silva

Computación y Sistemas, 2022

2019

Axiomatic and dual systems for constructive necessity, a formally verified equivalence.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2019

Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

On interactive proof-search for constructive modal necessity.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2015

How to prove it in Natural Deduction: A Tactical Approach.

[BibT_eX]

[DOI]

Atocha Aliseda-Llera

CoRR, 2015

2011

Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2009

Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2009

Selective Memoization with Box Types.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2008

Some Remarks on Type Systems for Course-of-value Recursion.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

2004

On extensions of AF2 with monotone and clausular (Co)inductive definitions.

[BibT_eX]

[DOI]

PhD thesis, 2004

Realizability for Monotone and Clausular (Co)inductive Definitions.

[BibT_eX]

[DOI]