Figallo, Martin

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-2 de 2

Artículo Cut-elimination theorems for some logics associated with double Stone algebras

Figallo, Martin ; Slagter, Juan Sebastián (Elsevier Science Inc., 2025-11)
Artículo Proof-theoretic aspects of paraconsistency with strong consistency operator

Arce Pistone, Victoria ; Figallo, Martin (Springer, 2024-01)

Mostrando ítems 1-2 de 2