Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 4
Number of items: 4
  • Open Access
    Dalmonte, T., & Girlando, M. (2026). A Proof-Theoretic View of Basic Intuitionistic Conditional Logic. In G. L. Pozzato, & T. Uustalu (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025 : proceedings (pp. 354-373). (Lecture Notes in Computer Science; Vol. 15980), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-032-06085-3_19, https://doi.org/10.48550/arXiv.2507.02767
  • Open Access
    Lyon, T. S., Ciabattoni, A., Galmiche, D., Girlando, M., Larchey-Wendling, D., Méry, D., Olivetti, N., & Ramanayake, R. (2025). Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. Bulletin of the Section of Logic, 54(1), 59-151. https://doi.org/10.18778/0138-0680.2025.02
  • Open Access
    Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2024). A simple loopcheck for intuitionistic K. In G. Metcalfe, T. Studer, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024 : proceedings (pp. 47-63). (Lecture Notes in Computer Science; Vol. 14672), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-031-62687-6_4
  • Open Access
    Das, A., & Girlando, M. (2023). Cyclic Hypersequent System for Transitive Closure Logic. Journal of Automated Reasoning, 67(3), Article 27. https://doi.org/10.1007/s10817-023-09675-1
Page of