Publications – Miguel Martins

Publications

Martins, Miguel; Moraschini, Tommaso

"Local tabularity is decidable for bi-intermediate logics of trees and of co-trees"

Annals of Pure and Applied Logic (2025)

https://doi.org/10.1016/j.apal.2025.103563

Bezhanishvili, Nick; Martins, Miguel; Moraschini, Tommaso.

"Bi-intermediate logics of trees and co-trees"

Annals of Pure and Applied Logic 175(10) (2024)

https://doi.org/10.1016/j.apal.2024.103490

Hyttinen, Tapani; Martins, Miguel; Moraschini, Tommaso; Quadrellaro, Davide E.

"Strictly n-finite varieties of Heyting algebras"

The Journal of Symbolic Logic (2024): 1-16

https://doi.org/10.1017/jsl.2024.48

Preprints

Martins, Miguel.

"There are only countably many locally tabular bi-intermediate logics of co-trees"

(2026)

https://arxiv.org/abs/2602.21960

Martins, Miguel; Fornasiere, Damiano; Gougeon, Quentin.

"Projective Unification in Bi-Intuitionistic Logic"

(2025) – under review

https://hal.science/hal-04957607