Výsledky vyhledávání - "A. Sobociński"

We extend the theory of formal languages in monoidal categories to the multi-sorted, symmetric case, and show how this theory permits a graphical treatment of topics in concurrency. In particular, we show that Mazurkiewicz trace languages are precise

Externí odkaz: http://arxiv.org/abs/2306.16341

Zobrazit plný text záznamu

Report

String Diagrams for Premonoidal Categories

Autor: Román, Mario, Sobociński, Paweł

Premonoidal categories are monoidal categories without the interchange law; effectful categories are premonoidal categories with a chosen monoidal subcategory of interchanging morphisms. In the same sense that string diagrams, pioneered by Joyal and

Externí odkaz: http://arxiv.org/abs/2305.06075

Zobrazit plný text záznamu

Akademický článek

Application of Numerical Simulation for Analysis and Optimization of Forging Manufacturing Process

Autor: M. Sobociński, M. Nabrdalik

Publikováno v: Archives of Metallurgy and Materials, Vol vol. 69, Iss No 2, Pp 733-738 (2024)

The paper presents the use of numerical modeling results for multivariate simulation of the manufacturing process of a wheel hub forging made of 20 HG alloy. The QForm 3D program was used to analyze the issue, which allowed to analyze the forging pro

Externí odkaz: https://doaj.org/article/fe121269cab1485bbba5fd5c8c3f00b8

Zobrazit plný text záznamu

The Consistency of a Certain Medieval-Like Solution to the Liar Paradox. Proof Given by Bolesław Sobociński

Autor: Kordula Świętorzecka

Publikováno v: History and Philosophy of Logic. 43:275-283

In Formale Logik, published in 1956, J. M. Bochenski presented his first proposal for the solution to the liar paradox, which he related to Paul of Venice's argumentation from Logica Magna. A forma...

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::067eb2e3fcee983ffd77ead6aa202697
https://doi.org/10.1080/01445340.2021.1909451

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání