Search Results - "Pimentel, Elaine"

The ILLTP Library for Intuitionistic Linear Logic by Olarte, Carlos, de Paiva, Valeria, Pimentel, Elaine, Reis, Giselle

“…Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the…”
Get full text

A Fresh View of Linear Logic As A Logical Framework: Invited Presentation at the Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice by Pimentel, Elaine

Get full text

A formal framework for specifying sequent calculus proof systems by Miller, Dale, Pimentel, Elaine

“…Intuitionistic logic and intuitionistic type systems are commonly used as frameworks for the specification of natural deduction proof systems. In this paper we…”
Get full text

Percepção de mulheres encarceradas sobre o acesso à saúde como ferramenta de ressocialização by Oliveira, Karlayne Reynaux Vieira de, Santos, Amuzza Aylla Pereira dos, Vieira, Maraysa Jessyca De Oliveira, Pimentel, Elaine, Comassetto, Isabel, Silva, Jovânia Marques de Oliveira e

“…Objetivo: desvelar a percepção das mulheres sobre o acesso aos serviços de saúde como ferramenta do processo de ressocialização. Método: trata-se de um estudo…”
Get full text

On concurrent behaviors and focusing in linear logic by Olarte, Carlos, Pimentel, Elaine

“…Concurrent Constraint Programming (CCP) is a simple and powerful model of concurrency where processes interact by telling and asking constraints into a global…”
Get full text

Silêncios e mitos numa perspectiva interseccional: do controle informal de corpos ao controle penal de mulheres negras by Costa, Elaine Cristina Pimentel, Cavalcante, Nathália Maria Wanderley

“…O silêncio é uma condição constante na história das mulheres. Silenciadas e controladas pela perspectiva opressora dos sistemas patriarcais, as mulheres foram…”
Get full text

Proceedings Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice: Preface by Pimentel, Elaine, Tassi, Enrico

Get full text

On subexponentials, focusing and modalities in concurrent systems by Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine

“…In this work we present the focused proof system SELLF⋒, which extends intuitionistic linear logic with subexponentials with the ability of quantifying over…”
Get full text

From axioms to synthetic inference rules via focusing by Marin, Sonia, Miller, Dale, Pimentel, Elaine, Volpe, Marco

“…An important application of focused variants of Gentzen's sequent calculus proof rules is the construction of (possibly) large synthetic inference rules. This…”
Get full text

Translations and Prawitz’s Ecumenical System by Pereira, Luiz Carlos, Pimentel, Elaine, de Paiva, Valeria

“…Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation…”
Get full text

Subexponential concurrent constraint programming by Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of…”
Get full text

The study of the mother-child binomium: description and general results by Laurenti, Ruy, Jorge, Maria Helena Prado de Mello, Gotlieb, Sabina Léa Davidson, de Oliveira, Bruno Zoca, Pimentel, Elaine Cristina

“…The present study investigated the characteristics of women during pregnancy/immediate postpartum cycles and the product of their pregnancy. Data collection…”
Get full text

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems by Olarte, Carlos, Pimentel, Elaine, Rocha, Camilo

“…This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility,…”
Get full text

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity by Dalmonte, Tiziano, Lellmann, Björn, Olivetti, Nicola, Pimentel, Elaine

“…We present some hypersequent calculi for all systems of the classical cube and their extensions with axioms ${T}$, ${P}$ and ${D}$ and for every $n \geq 1$,…”
Get full text

An ecumenical notion of entailment by Pimentel, Elaine, Pereira, Luiz Carlos, de Paiva, Valeria

“…Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to…”
Get full text

An extended framework for specifying and reasoning about proof systems by Nigam, Vivek, Pimentel, Elaine, Reis, Giselle

“…It has been shown that linear logic can be successfully used as a framework for both specifying proof systems for a number of logics, as well as proving…”
Get full text

Explorations in Subexponential Non-associative Non-commutative Linear Logic by Blaisdell, Eben, Kanovich, Max, Kuznetsov, Stepan L., Pimentel, Elaine, Scedrov, Andre

Get full text

Covid-19 y prisiones en Brasil: Gramáticas de la realidad carcelaria y vulneraciones by Rotta Almeida, Bruno, Pimentel, Elaine, Cacicedo, Patrick

“…A partir de la comprensión de la realidad del sistema penitenciario brasileño, el artículo presenta el impacto del coronavirus y las medidas para hacer frente…”
Get full text

Covid-19 y prisiones en Brasil by Bruno Rotta Almeida, Elaine Pimentel, Patrick Cacicedo

“…A partir de la comprensión de la realidad del sistema penitenciario brasileño, el artículo presenta el impacto del coronavirus y las medidas para hacer frente…”
Get full text

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study by Olarte, Carlos, Pimentel, Elaine

“…Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if $i\not= j$ then $!^i F\not\equiv…”
Get full text