Valeria de Paiva (depaiva)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Alechina, Natasha, Paiva, Valeria de and Ritter, Eike. 2000. “Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 35–52. Stanford, California: CSLI Publications.
Bierman, G. M. and Paiva, Valeria de. 2000. “On an Intuitionistic Modal Logic.” Studia Logica: An International Journal for Symbolic Logic 65: 383–416.
Briscoe, Ted, Paiva, Valeria de and Copestake, Ann, eds. 1993. Inheritance, Defaults, and the Lexicon. Cambridge: Cambridge University Press.
Everett, John Otis, Bobrow, Daniel G., Stolle, Reinhard, Crouch, Richard, Paiva, Valeria de, Condoravdi, Cleo, Berg, Martin van den and Polanyi, Livia. 2002. “Ontology Applications and Design: Making Ontologies Work for Resolving Redundancies across Documents.” Communications of the Association for Computing Machinery 45(2): 55–60.
Paiva, Valeria de. 2003. “Natural Deduction and Context as (Constructive) Modality.” in CONTEXT’03. Modeling and Using Context: Proceedings of the Fourth International and Interdisciplinary Conference, edited by Patrick Blackburn, Fausto Giunchiglia, Chiara Ghidini, and Roy M. Turner, pp. 116–129. Lecture Notes in Computer Science n. 2680. Berlin: Springer.
Paiva, Valeria de. 2004. “Categorical Semantics of Linear Logic for All.” in Advances in Natural Deduction. A Celebration of Dag Prawitz’s Work, edited by Luiz Carlos Pereira, Edward Hermann Hausler, and Valeria de Paiva, pp. 181–192. Trends in Logic n. 39–54. Dordrecht: Springer.