Results 21 to 30 of about 2,335,588 (204)
Frege, Peano and the Interplay between Logic and Mathematics
Philosophia Scientiæ, 2021 In contemporary historical studies, Peano is usually included in the logical tradition pioneered by Frege. In this paper, I shall first demonstrate that Frege and Peano independently developed a similar way of using logic for the rigorous expression and ...
Joan Bertran-San Millán
doaj +1 more source
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
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2022 The paper analyzes the main areas of application of mathematical methods in medical diagnostics, formulates principles of diagnostics based on fuzzy logic; developed mathematical models and algorithms that formalize the process of making diagnostic ...
Liudmyla Shkilniak +9 more
doaj +1 more source
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
Aksioma: Jurnal Program Studi Pendidikan Matematika, 2021 This study aims to analyze students' difficulties in solving mathematical problems based on mathematical logic intelligence. The population of this research is the fourth-semester students of Mathematics Education, Universitas PGRI Madiun, totaling 52 ...
Vera Dewi Susanti, Rika Wulandari
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
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
Advances in Proof-Theoretic Semantics
, 2016 Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...
core +1 more source