8 found
Order:
Disambiguations
Renata de Freitas [5]Renata P. de Freitas [2]Renata Cazarini de Freitas [1]
  1.  33
    On vague notions and modalities: a modular approach.Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata de Freitas & Mario Benevides - 2010 - Logic Journal of the IGPL 18 (3):381-402.
    Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  25
    Review & Reply. Review of Gonçalves, R.T. (tr.) Lucrécio. Sobre a Natureza das Coisas(2021).Renata Cazarini de Freitas & Rodrigo Tadeu Gonçalves - 2023 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 33:03302-03302.
    Review & Reply. Review of Gonçalves, R.T. (tr.) Lucrécio. Sobre a Natureza das Coisas(2021).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  18
    On Positive Relational Calculi.Renata de Freitas, Paulo Veloso, Sheila Veloso & Petrucio Viana - 2007 - Logic Journal of the IGPL 15 (5-6):577-601.
    We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasized: natural deduction and graph manipulations. Both provide sound and complete calculi for proving the valid inclusions, supporting nice strategies to obtain proofs in normal form, but the latter appears to present several advantages, which are discussed.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  51
    (1 other version)Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  21
    Set Venn Diagrams Applied to Inclusions and Non-inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.
    In this work, formulas are inclusions \ and non-inclusions \ between Boolean terms \ and \. We present a set of rules through which one can transform a term t in a diagram \ and, consequently, each inclusion \ ) in an inclusion \ ) between diagrams. Also, by applying the rules just to the diagrams we are able to solve the problem of verifying if a formula \ is consequence of a, possibly empty, set \ of formulas taken as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  23
    An Application of Logic Engineering.Sheila Veloso, Paulo Veloso & Renata de Freitas - 2005 - Logic Journal of the IGPL 13 (1):29-46.
    We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms are equivalent.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  50
    (1 other version)On fork arrow logic and its expressive power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark