List By topic DBLP

Applications of non-classical logics

To Indian Philosophy

  • Mimamsa Deontic Reasoning using Specificity: A Proof Theoretic Approach. Accepted for publication in Artificial Intelligence and Law (with F. Gulisano and B. Lellmann). PDF
  • Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics, Proceedings of LORI 2019 , (with K. van Berkel, E. Freschi and S. Modgil) PDF
  • Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms, Proceedings of DEON 2020 , PDF (with B. Lellmann)
  • 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
  • Uniform proofs of standard completeness for extensions of first-order MTL. Theoretical Computer Science vol. 603: 43-57 (2015) (with P. Baldi)
  • Standard completeness for extensions of MTL: an automated approach, Proceedings of the Workshop on Logic, Language, Information and Computation, WOLLIC 2012, L. Ong and R. de Queiroz (Eds.), LNCS 7456, 154-167, Springer, Heidelberg, 2012 (with P. Baldi and L. Spendier). PDF
  • Density Elimination, Theoretical Computer Science 403(2-3): 328-346, 2008 (with G. Metcalfe). PDF
  • Density Elimination and Rational Completeness for First-Order Logics, Symposium on Logical Foundations of Computer Science (LFCS'07), LNCS 4514, 132-146, 2007 (with G. Metcalfe). PDF
  • Standard completeness for uninorm-based logics, IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo (Canada), (with P. Baldi).

    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

  • Mimamsa Deontic Reasoning using Specificity: A Proof Theoretic Approach. Accepted for publication in Artificial Intelligence and Law (with F. Gulisano and B. Lellmann). . PDF
  • Sequent Rules for Reasoning and Conflict Resolution in Conditional Norms, Proceedings of DEON 2020 , PDF (with B. Lellmann)
  • 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