Alessandro Facchini















    Latest works:

    • (w/ A. Benavoli  and M. Zaffalon) "Bernstein's socks, Polynomial Time Provable Coherence and Entaglement". Accetpted at ISIPTA 2019 (pre-final version on ArXiv e-prints 1903.04406 [pdf]).
    • (w/ A. Benavoli  and M. Zaffalon) "Computational Complexity and the Nature of Quantum Mechanics".  ArXiv e-prints 1902.04569 [pdf].
    • (w/ A. Benavoli , Dario Piga and M. Zaffalon) "Sum-Of-Squares for Bounded Rationality".  International Journal of Approximate Reasoning,  105, 2019  (pre-final version on ArXiv e-prints 1705.02663 [pdf]).
    • (w/ F. Carreiro, Y. Venema, F. Zanasi) "The power of the weak". ArXiv e-prints 1809.03896 [pdf].
    • (w/ F. Carreiro, Y. Venema, F. Zanasi) "Model theory of monadic predicate logic with the infinity quantifier". ArXiv e-prints 1809.03262 [pdf].