Person:1591339

Available identifiers

zbMath Open de-paiva.valeriaDBLPp/ValeriadePaivaWikidataQ20731777 ScholiaQ20731777MaRDI QIDQ1591339

List of research outcomes

Publication	Date of Publication	Type
An ecumenical notion of entailment	2023-12-14	Paper
Dialectica Comonads (Invited Talk)	2023-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q6113375	2023-08-08	Paper
Parmesan: mathematical concept extraction for education	2023-07-13	Paper
Dialectica principles via Gödel doctrines	2023-02-01	Paper
Dialectica logical principles: not only rules	2023-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5039159	2022-10-12	Paper
Applied Category Theory in Chemistry, Computing, and Social Networks	2022-08-31	Paper
A dialectica-like model of linear logic	2022-08-16	Paper
Dialectica logical principles	2022-07-01	Paper
Dialectica Principles via G\"odel Doctrines	2022-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q5067955	2022-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5020970	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5018487	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5018490	2021-12-20	Paper
Dialectica Logical Principles	2021-09-16	Paper
Kolmogorov-Veloso Problems and Dialectica Categories	2021-07-16	Paper
Multiple conclusion linear logic: cut elimination and more	2020-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3119362	2019-03-11	Paper
Intuitionistic Modal Logic: A 15-year retrospective	2019-01-31	Paper
Dialectical categories, cardinalities of the continuum and combinatorics of ideals	2019-01-08	Paper
Linear logic model of state revisited	2019-01-08	Paper
On explicit substitutions and names (extended abstract)	2018-07-04	Paper
Fibrational modal type theory	2018-04-23	Paper
Dialectica categories for the Lambek calculus	2018-04-06	Paper
Multiple Conclusion Linear Logic: Cut Elimination and More	2017-07-21	Paper
Natural number objects in Dialectica categories	2016-05-10	Paper
If, not when	2016-04-26	Paper
Categorical Semantics of Linear Logic for All	2015-05-22	Paper
Bridges from Language to Logic: Concepts, Contexts and Ontologies	2015-03-18	Paper
Intuitionistic N-Graphs	2015-02-27	Paper
Constructive Description Logics Hybrid-Style	2013-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4918421	2013-04-24	Paper
Natural Deduction and Context as (Constructive) Modality	2010-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q5298120	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q3413927	2006-12-19	Paper
Intuitionistic hybrid logic	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q3367300	2006-01-24	Paper
Relating categorical semantics for intuitionistic linear logic	2005-06-16	Paper
Poset-valued sets or how to build models for linear logics	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4461801	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4461805	2004-05-18	Paper
Linear explicit substitutions	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4785506	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4508305	2001-02-27	Paper
On an intuitionistic modal logic	2000-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4250365	1999-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4260707	1999-11-22	Paper
Computational types from a logical perspective	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4218928	1999-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4219051	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4283230	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281466	1994-04-07	Paper
Full intuitionistic linear logic	1994-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q3829551	1989-01-01	Paper
Dialectica Petri Nets	0001-01-03	Paper
Categorifying computable reducibilities	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: V. C. V. de Paiva