8 citations · 23 across the 17 of their papers we have counts for
18 papers
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…
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.…
Extracting Mathematical Concepts with Large Language Models
Valeria de Paiva, Qiyue Gao, Pavel Kovalev +1
We extract mathematical concepts from mathematical text using generative large language models (LLMs) like ChatGPT, contributing to the field of automatic term extraction (ATE) and…
Parmesan: mathematical concept extraction for education
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian
Mathematics is a highly specialized domain with its own unique set of challenges that has seen limited study in natural language processing. However, mathematics is used in a wide…
Extracting Mathematical Concepts from Text
Jacob Collard, Valeria de Paiva, Brendan Fong +1
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematica…
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…
Dialectica Principles via Gödel Doctrines
Davide Trotta, Matteo Spadetto, Valeria de Paiva
Gödel's Dialectica interpretation was conceived as a tool to obtain the consistency of Peano arithmetic via a proof of consistency of Heyting arithmetic in the 40s. In recent years…
Kolmogorov-Veloso Problems and Dialectica Categories
Valeria de Paiva, Samuel G. da Silva
We investigate the categorical connection between Dialectica constructions, Kolmogorov problems, Veloso problems and Blass problems. We show that the work of Kolmogorov can be rega…
The Gödel Fibration
Davide Trotta, Matteo Spadetto, Valeria de Paiva
We introduce the notion of a Gödel fibration, which is a fibration categorically embodying both the logical principle of traditional Skolemization (we can exchange the order of qua…
Deriving Theorems in Implicational Linear Logic, Declaratively
Paul Tarau, Valeria de Paiva
The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for l…
Dialectica Fuzzy Petri Nets
Valeria de Paiva, Apostolos Syropoulos
Brown and Gurr have introduced a model of Petri Nets that is based on de~Paiva's Dialectica categories. This model was refined in an unpublished technical report, where Petri nets…
The ILLTP Library for Intuitionistic Linear Logic
Carlos Olarte, Valeria de Paiva, Elaine Pimentel +1
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such…
On the Lambek Calculus with an Exchange Modality
Jiaming Jiang, Harley Eades, Valeria de Paiva
In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing…
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva +1
This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has…
Linguistic Legal Concept Extraction in Portuguese
Alessandra Cid, Alexandre Rademaker, Bruno Cuconato +1
This work investigates legal concepts and their expression in Portuguese, concentrating on the "Order of Attorneys of Brazil" Bar exam. Using a corpus formed by a collection of mul…
Dialectica Categories for the Lambek Calculus
Valeria de Paiva, Harley Eades
We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got comp…
Proceedings of the LexSem+Logics Workshop 2016
Steven Neale, Valeria de Paiva, Arantxa Otegi +1
Lexical semantics continues to play an important role in driving research directions in NLP, with the recognition and understanding of context becoming increasingly important in de…
Fuzzy Topological Systems
Apostolos Syropoulos, Valeria de Paiva
Dialectica categories are a very versatile categorical model of linear logic. These have been used to model many seemingly different things (e.g., Petri nets and Lambek's calculus)…