18 found
Order:
Disambiguations
Valéria de Paiva [11]Valeria Correa Vaz De Paiva [8]Valeria C. V. de Paiva [1]
See also
Valeria Correa Vaz De Paiva
University of Birmingham
  1.  46
    The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    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 propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  17
    Intuitionistic Hybrid Logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  29
    Full Intuitionistic Linear Logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
    In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  10
    Dialectica Categories, Cardinalities of the Continuum and Combinatorics of Ideals.Samuel G. da Silva & Valeria C. V. de Paiva - 2017 - Logic Journal of the IGPL 25 (4):585-603.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  86
    Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  62
    Elements of Categorical Logic: Fifty Years Later. [REVIEW]Valeria de Paiva & Andrei Rodin - 2013 - Logica Universalis 7 (3):265-273.
  7.  86
    A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions.Valéria de Paiva & Luiz Pereira - 2005 - Manuscrito 28 (2):317-329.
    A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  20
    An Ecumenical Notion of Entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - forthcoming - Synthese:1-23.
    Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  36
    The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, UK
  10. A New Proof System for Intuitionistic Logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
  11.  2
    Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 35-52.
    We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  13
    WOLLIC, CSLI, Stanford, USA July 18–21, 2006.Anjolina Grisi de Oliveira, Valéria de Paiva, Eli Ben-Sasson & Yuri Gurevich - 2007 - Bulletin of Symbolic Logic 13 (3).
  13.  8
    University of Sao Paulo (Sao Paulo), Brazil, July 28–31, 1998.Sergei Artemov, Sam Buss, Edmund Clarke Jr, Heinz Dieter Ebbinghaus, Hans Kamp, Phokion Kolaitis, Maarten de Rijke & Valeria de Paiva - 1999 - Bulletin of Symbolic Logic 5 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.Natasha Alechina, Valeria de Paiva & Eike Ritter - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 35-52.
    No categories
     
    Export citation  
     
    Bookmark  
  15. Inheritance Defaults (Studies in Natural Language Processing).Edward Briscoe, Ann Copestake & Valeria Correa Vaz De Paiva - 1993 - Cambridge, UK: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  16. Linguistic Issues in Language Technology Vol 9: Perspectives on Semantic Representations for Textual Inference (Volume 9).Cleo Condoravdi, Valeria Correa Vaz De Paiva & Annie Else Zaenen - 2013 - Stanford, CA, USA: MIT Press.
    Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis of linguistic (...)
     
    Export citation  
     
    Bookmark  
  17. Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings (Lecture Notes in Computer Science Book 9160).Valeria Correa Vaz De Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel M. Leivant & Anjolina G. De Oliveira - 2015 - Springer.
  18. Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Trends in Logic Book 39).Luiz Carlos Pereira, Herman Hauesler & Valeria Correa Vaz De Paiva - 2014 - Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.
     
    Export citation  
     
    Bookmark