×
Author ID: de-paiva.valeria Recent zbMATH articles by "de Paiva, Valeria"
Published as: de Paiva, Valeria; de Paiva, V. C. V.; De Paiva, Valeria; de Paiva, Valeria C. V.; Paiva, Valeria; de Paiva, Valéria
Further Spellings: de Paiva, Valeria Correa Vaz
Homepage: https://vcvpaiva.github.io/
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 303 times in 219 Documents Cited by Year
On an intuitionistic modal logic. Zbl 0963.03033
Bierman, G. M.; de Paiva, V. C. V.
43
2000
A term calculus for intuitionistic linear logic. Zbl 0795.68127
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin
42
1993
Categorical and Kripke semantics for constructive S4 modal logic. Zbl 1005.03024
Alechina, Natasha; Mendler, Michael; de Paiva, Valeria; Ritter, Eike
27
2001
The Dialectica categories. Zbl 0675.03039
de Paiva, V. C. V.
26
1989
Computational types from a logical perspective. Zbl 0920.03023
Benton, P. N.; Bierman, G. M.; de Paiva, V. C. V.
23
1998
Linear \(\lambda\)-calculus and categorical models revisited. Zbl 0840.03003
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin
19
1993
Intuitionistic hybrid logic. Zbl 1106.03011
Braüner, Torben; de Paiva, Valeria
16
2006
Full intuitionistic linear logic. Zbl 0873.03006
Hyland, Martin; de Paiva, Valeria
15
1993
A Dialectica-like model of linear logic. Zbl 1496.03252
de Paiva, Valeria C. V.
9
1989
Relating categorical semantics for intuitionistic linear logic. Zbl 1067.03067
Maietti, Maria Emilia; Maneggia, Paola; Paiva, Valeria; Ritter, Eike
8
2005
Dialectica categories for the Lambek calculus. Zbl 1503.03032
de Paiva, Valeria; Eades, Harley III
7
2018
Dialectica and Chu constructions: cousins? Zbl 1123.18004
de Paiva, Valeria
6
2006
Explicit substitutions for constructive necessity. Zbl 0949.03014
Ghani, Neil; de Paiva, Valeria; Ritter, Eike
6
1998
Linear explicit substitutions. Zbl 1033.03007
Ghani, Neil; de Paiva, Valéria; Ritter, Eike
5
2000
Categorical models for intuitionistic and linear type theory. Zbl 0955.03069
Maietti, Maria Emilia; de Paiva, Valeria; Ritter, Eike
4
2000
Intuitionistic necessity revisited. Zbl 1041.03013
Bierman, G. M.; de Paiva, Valeria
4
1999
Basic constructive modality. Zbl 1261.03091
de Paiva, Valeria; Ritter, Eike
4
2011
Fibrational modal type theory. Zbl 1394.03037
de Paiva, Valeria; Ritter, Eike
3
2016
A formulation of linear logic based on dependency-relations. Zbl 0910.03034
Braüner, Torben; de Paiva, Valeria
3
1998
Poset-valued sets or how to build models for linear logics. Zbl 1055.03040
Schalk, Andrea; de Paiva, Valeria
3
2004
Lineales: algebras and categories in the semantics of linear logic. Zbl 1087.03044
de Paiva, Valeria
3
2002
The Gödel fibration. Zbl 07724260
Trotta, Davide; Spadetto, Matteo; De Paiva, Valeria
3
2021
Intuitionistic modal logic: a 15-year retrospective. Zbl 1454.03011
Stewart, Charles; de Paiva, Valeria; Alechina, Natasha
3
2018
The ILLTP library for intuitionistic linear logic. Zbl 1486.03026
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle
2
2019
Deriving theorems in implicational linear logic, declaratively. Zbl 07455712
Tarau, Paul; de Paiva, Valeria
2
2020
Dialectica logical principles. Zbl 07551728
Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria
2
2022
Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Zbl 1286.03010
2
2014
Dialectica logical principles: not only rules. Zbl 07638213
Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria
2
2022
On explicit substitutions and names. Zbl 1401.68034
Ritter, Eike; de Paiva, Valeria
2
1997
Linear logic model of state revisited. Zbl 1407.03076
de Paiva, Valeria
2
2014
Natural deduction and context as (constructive) modality. Zbl 1279.68310
de Paiva, Valeria
1
2003
A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic. Zbl 1114.03012
de Paiva, Valeria; Ritter, Eike
1
2006
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
Multiple conclusion linear logic: cut elimination and more. Zbl 1476.03083
Eades, Harley III; de Paiva, Valeria
1
2016
On the Lambek calculus with an exchange modality. Zbl 1487.03042
Jiang, Jiaming; Eades, Harley III; de Paiva, Valeria
1
2019
Multiple conclusion linear logic: cut elimination and more. Zbl 1515.03219
Eades, Harley III; de Paiva, Valeria
1
2020
Constructive description logics hybrid-style. Zbl 1260.68389
de Paiva, Valeria; Haeusler, Edward Hermann; Rademaker, Alexandre
1
2011
Dialectica logical principles. Zbl 07551728
Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria
2
2022
Dialectica logical principles: not only rules. Zbl 07638213
Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria
2
2022
The Gödel fibration. Zbl 07724260
Trotta, Davide; Spadetto, Matteo; De Paiva, Valeria
3
2021
Deriving theorems in implicational linear logic, declaratively. Zbl 07455712
Tarau, Paul; de Paiva, Valeria
2
2020
Multiple conclusion linear logic: cut elimination and more. Zbl 1515.03219
Eades, Harley III; de Paiva, Valeria
1
2020
The ILLTP library for intuitionistic linear logic. Zbl 1486.03026
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle
2
2019
On the Lambek calculus with an exchange modality. Zbl 1487.03042
Jiang, Jiaming; Eades, Harley III; de Paiva, Valeria
1
2019
Dialectica categories for the Lambek calculus. Zbl 1503.03032
de Paiva, Valeria; Eades, Harley III
7
2018
Intuitionistic modal logic: a 15-year retrospective. Zbl 1454.03011
Stewart, Charles; de Paiva, Valeria; Alechina, Natasha
3
2018
Fibrational modal type theory. Zbl 1394.03037
de Paiva, Valeria; Ritter, Eike
3
2016
Multiple conclusion linear logic: cut elimination and more. Zbl 1476.03083
Eades, Harley III; de Paiva, Valeria
1
2016
Advances in natural deduction. A celebration of Dag Prawitz’s work. Selected papers based on the presentations at the conference “Natural deduction”, Rio de Janeiro, Brazil, 2001. Zbl 1286.03010
2
2014
Linear logic model of state revisited. Zbl 1407.03076
de Paiva, Valeria
2
2014
Intuitionistic N-graphs. Zbl 1328.03054
Quispe-Cruz, Marcela; de Oliveira, Anjolina G.; de Queiroz, Ruy J. G. B.; de Paiva, Valeria
1
2014
Basic constructive modality. Zbl 1261.03091
de Paiva, Valeria; Ritter, Eike
4
2011
Constructive description logics hybrid-style. Zbl 1260.68389
de Paiva, Valeria; Haeusler, Edward Hermann; Rademaker, Alexandre
1
2011
Intuitionistic hybrid logic. Zbl 1106.03011
Braüner, Torben; de Paiva, Valeria
16
2006
Dialectica and Chu constructions: cousins? Zbl 1123.18004
de Paiva, Valeria
6
2006
A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic. Zbl 1114.03012
de Paiva, Valeria; Ritter, Eike
1
2006
Relating categorical semantics for intuitionistic linear logic. Zbl 1067.03067
Maietti, Maria Emilia; Maneggia, Paola; Paiva, Valeria; Ritter, Eike
8
2005
Poset-valued sets or how to build models for linear logics. Zbl 1055.03040
Schalk, Andrea; de Paiva, Valeria
3
2004
Natural deduction and context as (constructive) modality. Zbl 1279.68310
de Paiva, Valeria
1
2003
Lineales: algebras and categories in the semantics of linear logic. Zbl 1087.03044
de Paiva, Valeria
3
2002
Categorical and Kripke semantics for constructive S4 modal logic. Zbl 1005.03024
Alechina, Natasha; Mendler, Michael; de Paiva, Valeria; Ritter, Eike
27
2001
On an intuitionistic modal logic. Zbl 0963.03033
Bierman, G. M.; de Paiva, V. C. V.
43
2000
Linear explicit substitutions. Zbl 1033.03007
Ghani, Neil; de Paiva, Valéria; Ritter, Eike
5
2000
Categorical models for intuitionistic and linear type theory. Zbl 0955.03069
Maietti, Maria Emilia; de Paiva, Valeria; Ritter, Eike
4
2000
Intuitionistic necessity revisited. Zbl 1041.03013
Bierman, G. M.; de Paiva, Valeria
4
1999
Computational types from a logical perspective. Zbl 0920.03023
Benton, P. N.; Bierman, G. M.; de Paiva, V. C. V.
23
1998
Explicit substitutions for constructive necessity. Zbl 0949.03014
Ghani, Neil; de Paiva, Valeria; Ritter, Eike
6
1998
A formulation of linear logic based on dependency-relations. Zbl 0910.03034
Braüner, Torben; de Paiva, Valeria
3
1998
On explicit substitutions and names. Zbl 1401.68034
Ritter, Eike; de Paiva, Valeria
2
1997
A term calculus for intuitionistic linear logic. Zbl 0795.68127
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin
42
1993
Linear \(\lambda\)-calculus and categorical models revisited. Zbl 0840.03003
Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin
19
1993
Full intuitionistic linear logic. Zbl 0873.03006
Hyland, Martin; de Paiva, Valeria
15
1993
The Dialectica categories. Zbl 0675.03039
de Paiva, V. C. V.
26
1989
A Dialectica-like model of linear logic. Zbl 1496.03252
de Paiva, Valeria C. V.
9
1989
all top 5

Cited by 295 Authors

14 de Paiva, Valeria
8 Braüner, Torben
5 Shulman, Michael A.
4 Birkedal, Lars
4 Galmiche, Didier
4 Hyland, J. Martin E.
4 Scedrov, Andre
4 Trotta, Davide
3 Cervesato, Iliano
3 del Carmen González Huesca, Lourdes
3 Eades, Harley III
3 Kanovich, Max Iosifovich
3 Kavvos, G. A.
3 Kuznetsov, Stepan L’vovich
3 Linares Arévalo, Pilar Selene
3 Litak, Tadeusz
3 Mendler, Michael
3 Miranda Perea, Favio Ezequiel
3 Palmigiano, Alessandra
3 Pientka, Brigitte
3 Ritter, Eike
3 Salhi, Yakoub
3 Scheele, Stephan
3 Seely, Robert A. G.
3 Straßburger, Lutz
3 Uustalu, Tarmo
3 Winskel, Glynn
2 Abramsky, Samson
2 Allais, Guillaume
2 Baillot, Patrick
2 Bezhanishvili, Guram
2 Blute, Richard F.
2 Caires, Luís
2 Clouston, Ranald A.
2 Cockett, J. Robin B.
2 Dalmonte, Tiziano
2 Goncharov, Sergeĭ Savost’yanovich
2 Greco, Giuseppe
2 Grellois, Charles
2 Guerrieri, Giulio
2 Hasegawa, Ryu
2 Hu, Jason Z. S.
2 Iemhoff, Rosalie
2 Jacobs, Bart
2 Jeltsch, Wolfgang
2 Kakutani, Yoshihiko
2 Lescanne, Pierre
2 Lyon, Tim S.
2 Ma, Minghui
2 Maietti, Maria Emilia
2 Masini, Andrea
2 Møgelberg, Rasmus Ejlers
2 Mossakowski, Till
2 Olivetti, Nicola
2 Orchard, Dominic A.
2 Paykin, Jennifer
2 Pérez, Jorge A.
2 Peterson, Clayton
2 Pfenning, Frank
2 Primiero, Giuseppe
2 Pym, David J.
2 Schalk, Andrea
2 Schöpp, Ulrich
2 Schröder, Lutz
2 Solov’ëv, Sergeĭ Vladimirovich
2 Spadetto, Matteo
2 Spitters, Bas
2 Standefer, Shawn
2 Syropoulos, Apostolos
2 Tarau, Paul
2 Veltri, Niccolò
2 Zdancewic, Steve
1 Abadi, Martín
1 Accattoli, Beniamino
1 Acclavio, Matteo
1 Achourioti, Theodora
1 Adams, Robin
1 Ahman, Danel
1 Aiguier, Marc
1 Albrecht, David W.
1 Alcântara, Maigan S. da S.
1 Alechina, Natasha
1 Alves, Sandra
1 Atkey, Robert
1 Baratella, Stefano
1 Barbosa, Luís Soares
1 Barr, Michael
1 Bellin, Gianluigi
1 Biering, Bodil
1 Bierman, Gavin M.
1 Bizjak, Aleš
1 Blass, Andreas Raphael
1 Bloch, Isabelle
1 Bloo, Roel
1 Bohrer, Rose
1 Boisseau, Guillaume
1 Brock-Nannestad, Taus
1 Brogi, Cosimo Perini
1 Brotherston, James
1 Burke, Luke Edward
...and 195 more Authors
all top 5

Cited in 40 Serials

19 Theoretical Computer Science
15 Annals of Pure and Applied Logic
12 Information and Computation
11 MSCS. Mathematical Structures in Computer Science
10 Logical Methods in Computer Science
8 Journal of Logic, Language and Information
7 Journal of Philosophical Logic
6 Applied Categorical Structures
6 Journal of Applied Non-Classical Logics
5 Journal of Pure and Applied Algebra
5 Studia Logica
5 Journal of Applied Logic
4 Journal of Functional Programming
3 The Bulletin of Symbolic Logic
3 Theory and Applications of Categories
2 Fuzzy Sets and Systems
2 The Journal of Symbolic Logic
2 Synthese
2 Journal of Automated Reasoning
2 Archive for Mathematical Logic
2 Indagationes Mathematicae. New Series
2 Theory and Practice of Logic Programming
2 ACM Transactions on Computational Logic
1 Artificial Intelligence
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Bulletin of the Section of Logic
1 New Generation Computing
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 Soft Computing
1 Journal of the ACM
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 The Journal of Logic and Algebraic Programming
1 Journal of Multiple-Valued Logic and Soft Computing
1 Oberwolfach Reports
1 Logica Universalis
1 São Paulo Journal of Mathematical Sciences
1 The Review of Symbolic Logic
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year