Francesco Antonio Genco

  • Project Assistant, MA
  • TU Wien
  • Institut für Computersprache 185/2
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria


Research Interests

  • Proof theory, non-classical logics, philosophy, and computation.

Current Position


Education


Publications

  1. Gödel Logic: From Natural Deduction to Parallel Computation. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. LICS 2017, pp. 1–12. 2017.
  2. Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. Journal of World Philosophies, vol. 2, pp. 53–72. 2017.
  3. Embedding formalisms: hypersequents and two-level systems of rules. Agata Ciabattoni and Francesco A. Genco. Advances in Modal Logic, vol. 11, pp. 197–216. 2016.
  4. Mīmāṃsā deontic logic: proof theory and applications. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco and Björn Lellmann. Tableaux 2015, pp. 323–338. 2015.