Výsledky vyhledávání - "Valeria de Paiva"

Akademický článek

Autor: Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva

Publikováno v: Computational Linguistics, Vol 49, Iss 1 (2023)

Against the backdrop of the ever-improving Natural Language Inference (NLI) models, recent efforts have focused on the suitability of the current NLI datasets and on the feasibility of the NLI task as it is currently approached. Many of the recent st

Externí odkaz: https://doaj.org/article/b4af7406fc844959963404016848648f

Zobrazit plný text záznamu

Plný text ve formátu HTML

Akademický článek

The ILLTP Library for Intuitionistic Linear Logic

Autor: Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 118-132 (2019)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we p

Externí odkaz: https://doaj.org/article/015fa18c8f3d4e559c72ca58e399b3c0

Zobrazit plný text záznamu

Akademický článek

On the Lambek Calculus with an Exchange Modality

Autor: Jiaming Jiang, Harley Eades III, Valeria de Paiva

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 43-89 (2019)

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 the existence of the exchange structural rule. One should view this lo

Externí odkaz: https://doaj.org/article/8ad00ad882f04f48aa6db507f050b786

Zobrazit plný text záznamu

Akademický článek

As Wordnets do Português

Autor: Hugo Gonçalo Oliveira, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker, Livy Real, Alberto Simões

Publikováno v: Oslo Studies in Language, Vol 7, Iss 1 (2015)

Not many years ago it was usual to comment on the lack of an open lexical-semantic knowledge base, following the lines of Princeton WordNet, but for Portuguese. Today, the landscape has changed significantly, and researchers that need access to this

Externí odkaz: https://doaj.org/article/d8b4757b892d4b54a11b422ea01cc4c9

Zobrazit plný text záznamu

Dialectica logical principles: not only rules

Autor: Davide Trotta, Matteo Spadetto, Valeria de Paiva

Publikováno v: Journal of Logic and Computation. 32:1855-1875

Gödel’s Dialectica interpretation was designed to obtain the consistency of Peano arithmetic via a proof of consistency of Heyting arithmetic and double negation. In recent years, proof theoretic transformations (the so-called proof interpretation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2c969e68d9f6b1aeb7b18ec32bcd1804
https://doi.org/10.1093/logcom/exac079

Zobrazit plný text záznamu

Going Without: A Linear Modality and its Role

Autor: Valeria de Paiva

Publikováno v: Electronic Proceedings in Theoretical Computer Science. 360

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0ffffe945835bc6a2c7bf2da911581af
https://doi.org/10.4204/eptcs.360.0.1

Zobrazit plný text záznamu

Multiple conclusion linear logic: cut elimination and more

Autor: Valeria de Paiva, Harley Eades

Publikováno v: Journal of Logic and Computation. 30:157-174

Full intuitionistic linear logic (FILL) was first introduced by Hyland and de Paiva, and went against current beliefs that it was not possible to incorporate all of the linear connectives, e.g. tensor, par and implication, into an intuitionistic line

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::66d9fec64bd066dcf543d26312f3197e
https://doi.org/10.1093/logcom/exaa006

Zobrazit plný text záznamu

Dialectica principles via Gödel doctrines

Autor: Davide Trotta, Matteo Spadetto, Valeria de Paiva

Publikováno v: Theoretical Computer Science. 947:113692

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, several proof-theoretic transformations, based on Gödel's Dialecti

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::929998e473d404b64376f78b985b0bab
https://doi.org/10.1016/j.tcs.2023.113692

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání