Fiori Carones Marta

Presentations in Math-Net.Ru

1. Conservative translations for non-deterministic semantics
   Marta Fiori Carones
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   June 15, 2023 17:20   
2. The strength of some consequences of RT22 over RCA∗0
   Marta Fiori Carones
   Seminars "Proof Theory" and "Logic Online Seminar"
   June 6, 2022 18:30