Petrucio Viana

18 papers C 8Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Euclid Machines.
Stud Logica
Wagner Sanz, Petrucio Viana
2024 C ed.
Diagrammatic Representation and Inference - 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
Diagrams
Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns
2022 C ed.
Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings
Diagrams
Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana
2022 J jnl
The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface.
FLAP
Itala M. Loffredo D'Ottaviano, Ricardo Sousa Silvestre, Leandro Suguitani, Petrucio Viana
2021 C ed.
Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings
Diagrams
Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana
2021 C conf
Presenting Basic Graph Logic.
Diagrams
Márcia R. Cerioli, Leandro Suguitani, Petrucio Viana
2020 J jnl
On admissible orders over closed subintervals of [0, 1].
Fuzzy Sets Syst.
Fágner L. Santana, Benjamín R. C. Bedregal, Petrucio Viana, Humberto Bustince
2017 J jnl
Foreword.
Log. J. IGPL
Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana
2015 J jnl
Set Venn Diagrams Applied to Inclusions and Non-inclusions.
J. Log. Lang. Inf.
Renata P. de Freitas, Petrucio Viana
2014 J jnl
Decomposition by maxclique separators.
Discret. Math.
Márcia R. Cerioli, Hugo Nobrega, Petrucio Viana
2014 C conf
On Distributed Stochastic Logics for Mobile Systems.
WoLLIC
Juliana Küster Filipe Bowles, Petrucio Viana
2014 J jnl
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface.
Log. J. IGPL
Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana
2014 C conf
The Second Venn Diagrammatic System.
Diagrams
Renata P. de Freitas, Petrucio Viana
2012 C conf
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.
Diagrams
Renata P. de Freitas, Petrucio Viana
2012 — ed.
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012.
LSFA
Delia Kesner, Petrucio Viana
2011 C conf
A partial characterization by forbidden subgraphs of edge path graphs.
CTW
Márcia R. Cerioli, Hugo Nobrega, Petrucio Viana
2011 J jnl
On characterizations by nice forbidding sets.
Electron. Notes Discret. Math.
Márcia R. Cerioli, Hugo Nobrega, Petrucio Viana
2008 — conf
Introducing Polymodal Neighbourhood Logics.
LSFA
Renata P. de Freitas, Petrucio Viana