Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Petrucio Viana"'
Publikováno v:
History and Philosophy of Logic. 43:51-69
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 ...
Publikováno v:
Anais do III Workshop Brasileiro de Lógica (WBL 2022).
E. Dijkstra and J. Misra [American Mathematical Monthly, 108:440–443 (2001)] presented a calculational proof of Cantor's Theorem. Their proof is based essentially on the Axiom of Choice. In this note, we present another calculational proof which do
Publikováno v:
Anais do VII Encontro de Teoria da Computação (ETC 2022).
A set graph is a graph admitting an extensional acyclic orientation. The set graph recognition problem was first considered and proved to be NP-complete by A. Tomescu in 2012. In this work, we introduce two concepts that can be used for the efficient
Publikováno v:
Anais do II Workshop Brasileiro de Lógica (WBL 2021).
We analyze the notions of independence of a set of postulates, proposed by G. Peano, E. H. Moore, A. Church and F. Harary, together with a presumably new notion inspired by H. M. Sheffer. For each of these notions, we present a proper definition and
Publikováno v:
Anais do II Workshop Brasileiro de Lógica (WBL 2021).
This paper presents the (second-order) theory of hereditarily finite sets according to the usual pattern adopted in the presentation of the (second-order) theory of natural numbers. To this purpose, we consider three primitive concepts, together with
Autor:
Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee, Richard Burns
This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024. The 17 full papers, 19 short papers and 11
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783030860615
Diagrams
Diagrams
In this paper, we present and exemplify the Basic Graph Logic (BGL), this is an initial formalism which can be extended to provide a diagrammatic representation within which Set Theory and, hence, the whole of mathematics can be diagrammatic develope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e97c39b80a2d4c474f75cba5bdc0bf0
https://doi.org/10.1007/978-3-030-86062-2_12
https://doi.org/10.1007/978-3-030-86062-2_12
Publikováno v:
Academica-e. Repositorio Institucional de la Universidad Pública de Navarra
instname
instname
In this paper, we make some considerations about admissible orders on the set of closed subintervals of the unit interval I[0,1], i.e. linear orders that refine the product order on intervals. We propose a new way to generate admissible orders on I[0
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f7bfeb8a897d9477bf357b65f3c7987
https://hdl.handle.net/2454/37281
https://hdl.handle.net/2454/37281
Autor:
Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, Petrucio Viana
This book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022. The 11 full papers and 19 short papers presented together with 5 pos