Results 21 to 30 of about 545,179 (279)
Another Journal on Mathematical Logic and Mathematical Physics?
Axioms, 2011 It is my great pleasure to welcome you to Axioms: Mathematical Logic and Mathematical Physics, a new open access journal, which is dedicated to the foundations (structure and axiomatic basis, in particular) of mathematical and physical theories, not only
Angel Garrido
doaj +1 more source
On the mathematical synthesis of equational logics [PDF]
, 2010 We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational ...
Chung-Kil Hur +2 more
core +3 more sources
A Novel NeutroGraph Model for Dynamic Systems: Advancing NeutroStructures with Partially False Axioms in Interactive Digital Installation Art Design [PDF]
Neutrosophic Sets and SystemsThis paper introduces NeutroGraph, an innovative mathematical model rooted in NeutroStructures, designed to analyze dynamic systems where relational axioms are partially true, indeterminate, and false.
Ziyuan Liu, Yixi Peng
doaj +1 more source
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
Mathematical Logic and Deduction in Computer Science Education
Informatics in Education, 2008 Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj +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
Education Sciences, 2012 From ancient times, the history of human beings has developed by a succession of steps and sometimes jumps, until reaching the relative sophistication of the modern brain and culture. Researchers are attempting to create systems that mimic human thinking,
Angel Garrido
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
Bulletin of Symbolic Logic, 2008 AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire +2 more sources
Quotient-Comprehension Chains [PDF]
, 2015 Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in ...
Cho, K. +4 more
core +3 more sources