Edit Profile (opens in new tab) de Paiva, Valeria Co-Author Distance Author ID: 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 more...less Further Spellings: de Paiva, Valeria Correa Vaz Homepage: https://vcvpaiva.github.io/ External Links: MGP Documents Indexed: 54 Publications since 1989, including 4 Additional arXiv Preprints 12 Contributions as Editor Co-Authors: 55 Co-Authors with 55 Joint Publications 934 Co-Co-Authors all top 5 Co-Authors 11 single-authored 10 Ritter, Eike 5 Bierman, Gavin M. 5 Trotta, Davide 4 Eades, Harley III 4 Gomes da Silva, Samuel 4 Spadetto, Matteo 3 Braüner, Torben 3 De Queiroz, Ruy José Guerra Barretto 3 Ghani, Neil 3 Hyland, J. Martin E. 3 Pimentel, Elaine 2 Alechina, Natasha 2 Benton, Nick 2 de Oliveira, Anjolina Grisi 2 Haeusler, Edward Hermann 2 Leivant, Daniel M. 2 Maietti, Maria Emilia 2 Pereira, Luiz Carlos P. D. 2 Schalk, Andrea 1 Artemov, Sergei 1 Baez, John C. 1 Baldan, Paolo 1 Benevides, Mario R. F. 1 Benton, P. N. 1 Blackburn, Patrick 1 Bolander, Thomas 1 Cho, Simon 1 Cicala, Daniel 1 Collard, Jacob 1 Crouch, Richard 1 Dal Lago, Ugo 1 Di Lavore, Elena 1 Ehrhard, Thomas 1 Fernández, Maribel 1 Jiang, Jiaming 1 Leal, Wilmer 1 Maneggia, Paola 1 Mendler, Michael 1 Morgan, Charles James Glyn 1 Moss, Larry 1 Nigam, Vivek 1 Olarte, Carlos 1 Otter, Nina 1 Pratt, Vaughan R. 1 Queiroz, Ruy J. G. B. 1 Quispe-Cruz, Marcela 1 Rademaker, Alexandre 1 Reis, Giselle 1 Rodin, Andrei S. 1 Stewart, Charles V. 1 Subrahmanian, Eswaran 1 Tarau, Paul 1 Tortora de Falco, Lorenzo 1 Valenti, Manlio 1 Villadsen, Jørgen all top 5 Serials 5 Logic Journal of the IGPL 3 Journal of Logic and Computation 3 Theory and Applications of Categories 2 Theoretical Computer Science 2 Electronic Notes in Theoretical Computer Science 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Studia Logica 1 Synthese 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 Notices of the American Mathematical Society 1 Applied Categorical Structures 1 Journal of Functional Programming 1 Journal of Applied Logic 1 Lecture Notes in Computer Science 1 Trends in Logic – Studia Logica Library 1 Logica Universalis 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications all top 5 Fields 56 Mathematical logic and foundations (03-XX) 24 Computer science (68-XX) 15 Category theory; homological algebra (18-XX) 13 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 \(K\)-theory (19-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 19 Fields 180 Mathematical logic and foundations (03-XX) 88 Computer science (68-XX) 45 Category theory; homological algebra (18-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General and overarching topics; collections (00-XX) 3 Algebraic topology (55-XX) 2 History and biography (01-XX) 2 General algebraic systems (08-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Sequences, series, summability (40-XX) 1 General topology (54-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) Citations by Year