3 papers
math.LO2026
Dialectica Categories over Heyting Algebras
Colin Bloomfield, Peter Jipsen, Valeria de Paiva
Categorification---the process of constructing a categorical model of a piece of mathematics---often identifies a common abstraction that connects formerly unrelated but known stru…
cs.LO2026
Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
Valeria de Paiva, Thaynara Arielly de Lima
This volume contains the proceedings of the 21st Workshop on Logical and Semantic Frameworks with Applications (LSFA 2026), held in Lisbon, Portugal, from July 18 to July 19, 2026.…
math.LO2025
Categorifying computable reducibilities
Davide Trotta, Manlio Valenti, Valeria de Paiva
This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notion…