Results 31 to 40 of about 56,783 (314)
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 +1 more source
The modal logic of Reverse Mathematics [PDF]
Archive for Mathematical Logic, 2015 The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way. We use techniques of modal logic to formalize the logic of Reverse Mathematics into a system that we name s-logic.
Carl Mummert +2 more
openaire +3 more sources
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Conjugacy Separability of Some One-Relator Groups
International Journal of Mathematics and Mathematical Sciences, 2010 Conjugacy separability of any group of the class of one-relator groups given by the presentation ⟨𝑎,𝑏;[𝑎𝑚,𝑏𝑛]=1⟩(𝑚,𝑛>1) is proven. The proof made used of theoretical combinatorial group methods, namely the structure of amalgamated free products and some ...
D. Tieudjo, D. I. Moldavanskii
doaj +1 more source
KORELASI PEMAHAMAN MATA KULIAH LOGIKA MATEMATIKA DENGAN SOFTWARE GEOGEBRA
Alifmatika, 2021 This study investigated the use of a free GeoGebra application, where the ability of a GeoGebra software application had the potential to simplify and help the teaching and learning process in the informatics management study program, Medan State ...
Harizahayu Harizahayu +1 more
doaj +1 more source
Normativity and its vindication: The case of Logic [PDF]
, 2004 Physical laws are irresistible. Logical rules are not. That is why logic is said to be normative. Given a system of logic we have a Norma, a standard of correctness.
Martínez Vidal, Concha +1 more
core +1 more source
Formalizing Sense Relations in Sentence Level from Logical Point of View: A Study of Mathematical Linguistics [PDF]
̒Ilm-i Zabān, 2019 The present paper studies the possibility of translating “sense relations” in the level of sentences into formal expressions. In so doing, it applies the mathematical logic, especially the logic of propositions within the constraints of sufficient Farsi ...
Maryam Ramezankhani
doaj +1 more source
Molecular Oncology, EarlyView.Single‐cell DNA methylation (scDNAme) profiling maps epimutational clonal evolution, revealing mechanisms of malignancy and therapeutic resistance across diverse cancer types. By providing a high‐resolution landscape of intratumoral heterogeneity, these technologies empower precise patient stratification, guide the development of enhanced ...
Ik Soo Kim
wiley +1 more source
$L^p-L^q$ estimates for non-local heat and wave type equations on locally compact groups
Comptes Rendus. MathématiqueWe prove the $L^p-L^q ...
Gómez Cobos, Santiago +2 more
doaj +1 more source