18 found
Order:
Disambiguations
Valeria 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.  32
    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  
  2.  25
    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   7 citations  
  3.  51
    The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, UK
    This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  12
    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. A New Proof System for Intuitionistic Logic.Valeria de Paiva & Luiz C. Pereira - 1995 - Bulletin of Symbolic Logic 1 (1):101.
  6. 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  
  7.  88
    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   2 citations  
  8.  96
    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  
  9.  66
    Elements of Categorical Logic: Fifty Years Later. [REVIEW]Valeria de Paiva & Andrei Rodin - 2013 - Logica Universalis 7 (3):265-273.
  10.  25
    An Ecumenical Notion of Entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  11. 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  
  12. 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  
  13.  1
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. 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.
  15. 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  
  16.  28
    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).
  17.  10
    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  
  18.  4
    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