Search

Your search keyword '"Viana, Petrucio"' showing total 214 results
Start Over Author "Viana, Petrucio"

Refine your results

more »

more »

more »

more »
214 results on '"Viana, Petrucio"'

2. Presenting Basic Graph Logic

Author

Cerioli, Márcia R., Suguitani, Leandro, Viana, Petrucio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Basu, Amrita, editor, Stapleton, Gem, editor, Linker, Sven, editor, Legg, Catherine, editor, Manalo, Emmanuel, editor, and Viana, Petrucio, editor

Published
2021
Full Text
View/download PDF

4. Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications

Author

Kesner, Delia and Viana, Petrucio

Subjects
Computer Science - Logic in Computer Science, Computer Science - Programming Languages
Abstract

This document contains the proceedings of the Seventh International Workshop on Logical and Semantic Frameworks, with Applications, which was held on September 29 and 30, 2012, in Rio de Janeiro, Brazil. It contains 11 regular papers (9 long and 2 short) accepted for presentation at the meeting, as well as extended abstracts of invited talks by Torben Bra\"uner (Roskilde University, Denmark), Maribel Fern\'andez (King's College London, United Kingdom), Edward Hermann Haeusler (PUC-Rio, Brazil) and Alexandre Miquel (\'Ecole Normale Sup\'erieure de Lyon, France).

Published
2013
Full Text
View/download PDF

6. On Distributed Stochastic Logics for Mobile Systems

Author

Küster Filipe Bowles, Juliana, Viana, Petrucio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kohlenbach, Ulrich, editor, Barceló, Pablo, editor, and de Queiroz, Ruy, editor

Published
2014
Full Text
View/download PDF

7. The Second Venn Diagrammatic System

Author

de Freitas, Renata, Viana, Petrucio, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Kobsa, Alfred, Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Nierstrasz, Oscar, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Editorial Board Member, Goebel, Randy, Series Editor, Tanaka, Yuzuru, Series Editor, Wahlster, Wolfgang, Series Editor, Siekmann, Jörg, Founding Editor, Dwyer, Tim, editor, Purchase, Helen, editor, and Delaney, Aidan, editor

Published
2014
Full Text
View/download PDF

10. A Calculus for Graphs with Complement

Author

de Freitas, Renata, Veloso, Paulo A. S., Veloso, Sheila R. M., Viana, Petrucio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Goel, Ashok K., editor, Jamnik, Mateja, editor, and Narayanan, N. Hari, editor

Published
2010
Full Text
View/download PDF

11. Positive Fork Graph Calculus

Author

de Freitas, Renata, Veloso, Sheila R. M., Veloso, Paulo A. S., Viana, Petrucio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Artemov, Sergei, editor, and Nerode, Anil, editor

Published
2009
Full Text
View/download PDF

12. A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

Author

de Freitas, Renata, Viana, Petrucio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Cox, Philip, editor, Plimmer, Beryl, editor, and Rodgers, Peter, editor

Published
2012
Full Text
View/download PDF

23. Beyond Counting:Measuring Diagram Intensity in Mathematical Research Papers

Author

Basu, Amrita, Stapleton, Gem, Linker, Sven, Legg, Catherine, Manalo, Emmanuel, Viana, Petrucio, Sørensen, Henrik Kragh, Basu, Amrita, Stapleton, Gem, Linker, Sven, Legg, Catherine, Manalo, Emmanuel, Viana, Petrucio, and Sørensen, Henrik Kragh

Abstract

In the Diagrams 2020 conference, we (Mikkel Willum Johansen and myself) reported on our first successes with machine-learning agents identifying and counting diagrams in mathematical papers. One year later, we have progressed, and in this paper I present and discuss ways of creating evidence on the use of diagrams in mathematical publications. Studying a corpus of mathematical journals from the early 21st century and focusing on the intensity of their reliance on diagrams, I explore different means of measuring the use of diagrams as a precursor to further studying their integration into the mathematical argument.

Published
2021

30. On the (In)Dependence of the Peano Axioms for Natural Numbers.

Author

Cerioli, Márcia R., Nobrega, Hugo, Silveira, Guilherme, and Viana, Petrucio

Subjects
NATURAL numbers, PEANO axioms, ALGEBRA, MATHEMATICAL analysis, MATHEMATICS
Abstract

We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical structures that satisfy, or do not satisfy, these axioms. We then present an alternative logical proof, which makes no essential references to the relationship between mathematical structures. There is a completely independent set of axioms for the sequence of natural numbers, but it is based on primitives different from those originally adopted by Peano. Therefore, we present a new completely independent set of axioms based on the same set of primitives as the one originally adopted by Peano. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

31. Foreword

Author

Carnielli, Walter, primary, Hermann Haeusler, Edward, additional, and Viana, Petrucio, additional

Published
2017
Full Text
View/download PDF

34. Foreword: The Proceedings of the XVII EBL--17th Brazilian Logic Conference, 2014: A preface.

Author

Carnielli, Walter, Haeusler, Edward Hermann, and Viana, Petrucio

Subjects
LOGIC, SCIENTIFIC computing, MATHEMATICS, ALGEBRAIC logic, RESEARCH papers (Students), CONFERENCES & conventions
Abstract

The article discusses the proceedings of the 17th Brazilian Logic Conference 2014 held on the premises of the National Laboratory for Scientific Computing (LNCC) in Petrópolis, Rio de Janeiro from April 7-11, 2014. Information about the keynote speakers and the theme for the topics which included Algebraic Logic, Foundations of Mathematics, and Set Theory and Theory of Computation are presented. An introduction in which the editor discusses various topics within the issue is also presented.

Published
2017
Full Text
View/download PDF

38. Set Venn Diagrams Applied to Inclusions and Non-inclusions.

Author

Freitas, Renata and Viana, Petrucio

Subjects
VENN diagrams, BOOLEAN algebra, MATHEMATICAL formulas
Abstract

In this work, formulas are inclusions $$t_1 \subseteq t_2$$ and non-inclusions $$t_1\not \subseteq t_2$$ between Boolean terms $$t_1$$ and $$t_2$$ . We present a set of rules through which one can transform a term t in a diagram $$\Delta t$$ and, consequently, each inclusion $$t_1 \subseteq t_2$$ (non-inclusion $$t_1\not \subseteq t_2$$ ) in an inclusion $$\varDelta t_1 \subseteq \varDelta t_2$$ (non-inclusion $$\varDelta t_1 \not \subseteq \varDelta t_2$$ ) between diagrams. Also, by applying the rules just to the diagrams we are able to solve the problem of verifying if a formula $$\varphi $$ is consequence of a, possibly empty, set $$\varSigma $$ of formulas taken as hypotheses. Our system has a diagrammatic language based on Venn diagrams that are read as sets, and not as statements about sets, as usual. We present syntax and semantics of the diagrammatic language, define a set of rules for proving consequence, and prove that our set of rules is strongly sound and complete in the following sense: given a set $$\varSigma \cup \varphi $$ of formulas, $$\varphi $$ is a consequence of $$\varSigma $$ iff there is a proof of this fact that is based only on the rules of the system and involves only diagrams associated to $$\varphi $$ and to the members of $$\varSigma $$ . [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

40. On vague notions and modalities: a modular approach.

Author

VELOSO, PAULO A. S., VELOSO, SHEILA R. M., VIANA, PETRUCIO, DE FREITAS, RENATA, BENEVIDES, MARIO, and DELGADO, CARLA

Subjects
NOTIONS (Philosophy), VAGUENESS (Philosophy), MODAL logic, LOGIC, PHILOSOPHY
Abstract

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’. [ABSTRACT FROM PUBLISHER]

Published
2010
Full Text
View/download PDF

41. On Positive Relational Calculi.

Author

de Freitas, Renata, Veloso, Paulo A. S., Veloso, Sheila R. M., and Viana, Petrucio

Subjects
MATHEMATICAL analysis, INFINITESIMAL geometry, MANIPULATIVE behavior, LOGIC, MATHEMATICAL logic
Abstract

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. [ABSTRACT FROM PUBLISHER]

Published
2007
Full Text
View/download PDF

42. On the Expressivity of Byzantine Diagrams in Logic

Author

Lemanski, Jens, Bhattacharjee, Reetu, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

43. KIELER: A Text-First Framework for Automatic Diagramming of Complex Systems

Author

Kasperowski, Maximilian, Rentz, Niklas, Domrös, Sören, von Hanxleden, Reinhard, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

44. Designing a Mind-Mapping-Assisted Comparative Literature Course in Chinese Academic Settings

Author

Chen, Binfeng, Zhao, Jing, He, Lin, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

45. What Does It Mean that Diagrams Represent Constructions?

Author

Kozak, Piotr, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

46. Diagrams and Their Role in Economics as Problem-Solving Devices and Theory-Improving Tools. The Case of the Phillip Machine

Author

Miotti, Giulia, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

47. Between Pro/Con-Lists and Argument Graphs Finding the Right Level of Complexity in Argumentation Representation

Author

Campell, Joannes B., Müller, Michael A., Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

48. The Region Connection Calculus, Euler Diagrams and Aristotelian Diagrams

Author

Anger, Claudia, Demey, Lorenz, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

49. Diagrammatic Analogical Reasoning

Author

Prade, Henri, Richard, Gilles, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

50. An Eye-Tracking Study on the Effects of Using Highlighted Multi-attribute Tables: A Preliminary Report

Author

Morii, Masahiro, Ideno, Takashi, Tamari, Yuki, Takemura, Kazuhisa, Okada, Mitsuhiro, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lemanski, Jens, editor, Johansen, Mikkel Willum, editor, Manalo, Emmanuel, editor, Viana, Petrucio, editor, Bhattacharjee, Reetu, editor, and Burns, Richard, editor

Published
2024
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results