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. Classical Proofs as Parallel Programs. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. GandALF 2018.
  2. Hypersequents and Systems of Rules: Embeddings and Applications. Agata Ciabattoni and Francesco A. Genco. TOCL, vol. 19, issue 2. 2018.
  3. Gödel logic: from natural deduction to parallel computation. Federico Aschieri, Agata Ciabattoni and Francesco A. Genco. LICS 2017, pp. 1–12. 2017.
  4. 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, num. 1, pp. 47–66. 2017.
  5. 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.
  6. 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.