List By topic DBLP

Applications of non-classical logics

To Indian Philosophy

  • Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics, Proceedings of LORI 2019 , (with K. van Berkel, E. Freschi and S. Modgil) PDF
  • Resolving conflicting obligations in Mimamsa: a sequent-based approach. Proceedings of DEON 2018, (with F. Gulisano and B. Lellmann) PDF
  • Understanding Prescriptive Texts: Rules and Logic as elaborated by the Mimamsa school. Accepted for publication in Confluence: Online Journal of World Philosophies , 2(1), pp.47-66, 2017. (with E. Freschi, F. Genco and B. Lellmann). PDF
  • Mimamsa Deontic Logic: Proof Theory and Applications. Proceedings of TABLEAUX 2015, (with E. Freschi, F. Genco and B. Lellmann) PDF
  • To Concurrency Theory and Foundations of Functional Programming Languages

    To Universal Algebra

  • Algebraic proof theory: hypersequents and hypercompletions, Annals of Pure and Applied Logic, 693-737, 2017 (with N. Galatos and K. Terui). PDF
  • MacNeille Completions of FL-algebras, Algebra Universalis 66(4): 405-420, 2011 (with N. Galatos and K. Terui). PDF
  • Algebraic proof theory for substructural logics: cut-elimination and completions, Annals of Pure and Applied Logic, 163(3): 266-290, 2012 (with N. Galatos and K. Terui). PDF
  • Automated Support for the Investigation of non-classical logics

    (Systematic and) Automated Introduction of Analytic Calculi for non-classical logics

    Algebraic Proof Theory

    Normative Reasoning

  • Resolving conflicting obligations in Mimamsa: a sequent-based approach. Proceedings of DEON 2018, (with F. Gulisano and B. Lellmann) PDF
  • Mimamsa Deontic Logic: Proof Theory and Applications. Proceedings of TABLEAUX 2015, (with E. Freschi, F. Genco and B. Lellmann) PDF
  • Automated Deduction

    Structural Proof Theory

    (Un)Decidability and Complexity

    Computability Theory and Partial Combinatory Algebras

    Non-deterministic Matrices

    Specific Logics and Families of Logics

    T-norm based logics

    Lukasiewicz Logic

    Gödel Logics

    Web Services