Arce Pistone, Victoria

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-2 de 2

Artículo A constructive proof of the Craig’s interpolation theorem for QCiore

Arce Pistone, Victoria (Oxford University Press, 2025-10)
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