Results 1 to 10 of about 38,216 (165)
An Improved FFIP Method Based on Mathematical Logic and SysML
Applied Sciences, 2021 In recent years, the model-based safety analysis (MBSA) has been developing continuously. The Functional Failure Identification and Propagation (FFIP) method is a graphics processing technology which supports the analysis of fault propagation paths ...
Jian Jiao +4 more
doaj +3 more sources
When linguists talk mathematical logic [PDF]
Frontiers in Psychology, 2014 David James Lobina
doaj +2 more sources
Bulletin of the Section of Logic, 2022 This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time.
Stepan I. Bashmakov, Tatyana Yu. Zvereva
doaj +1 more source
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +1 more source
On Finite 2-Groups with the Non-Dedekind Metacyclic Norm of Abelian Non-Cyclic Subgroups [PDF]
Advances in Group Theory and Applications, 2021 The authors examine the relations between the properties of a group G and its norm of Abelian non-cyclic subgroups. In this paper the properties of finite 2-groups with the cyclic center and the metacyclic non-Dedekind norm of Abelian non-cyclic ...
Tetiana D. Lukashova, Fedir M. Lyman
doaj +1 more source
Long cycles in hypercubes with distant faulty vertices [PDF]
Discrete Mathematics & Theoretical Computer Science, 2009 Graphs and ...
Petr Gregor, Riste Škrekovski
doaj +1 more source
New Results on Generalized Graph Coloring [PDF]
Discrete Mathematics & Theoretical Computer Science, 2004 For graph classes \wp_1,...,\wp_k, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph G can be partitioned into subsets V_1,...,V_k so that V_j induces a graph in the class \wp_j (j=1,2,...,k).
Vladimir E. Alekseev +2 more
doaj +1 more source
International Journal of Trends in Mathematics Education Research, 2023 This development research aims to determine the feasibility of using Mathematical Logic Pipe teaching aid (Pilogmath) on mathematical logic material at SMA Negeri 1 Tanah Luas in terms of validity, practicality, and attractiveness.
Khairun Nisa, Eri Saputra, M Mursalin
doaj +1 more source
Between Philosophy and Mathematics
Asian Studies, 2022 This article studies some central developments in the propagation and teaching of mathematical logic in 1930s China. Focusing on the emergence of a twofold disciplinary approach to mathematical logic, namely as a discipline studied and disseminated by ...
Jan Vrhovski
doaj +1 more source