Agata Ciabattoni

Agata Ciabattoni is an Italian mathematical logician specializing in non-classical logic. She is a full professor at the Institute of Logic and Computation of the Faculty of Informatics at the Vienna University of Technology (TU Wien), and a co-chair of the [http://www.vcla.at/ Vienna Center for Logic and Algorithms of TU Wien] (VCLA). Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Agata Ciabattoni', query time: 0.02s Refine Results
  1. 1
    Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability

    Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability by Matthias Baaz, Agata Ciabattoni, Christian G Fermüller

    Published 2012-03-01
    Get full text
    Article
  2. 2
    Classical Proofs as Parallel Programs

    Classical Proofs as Parallel Programs by Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco

    Published 2018-09-01
    Get full text
    Article
  3. 3
    Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School

    Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School by Elisa Freschi, Francesco A. Genc, Björn Lellmann, Agata Ciabattoni

    Published 2017-06-01
    Get full text
    Article

Search Tools: