Results 11 to 20 of about 86,163 (232)
Electronics Letters, 2022 In this letter, a fixed‐latency interleaver architecture is proposed for interleave division multiple access (IDMA) systems. The existing multi‐stage algebraic interleaver suffers from the high latency originated from a series of multipliers and adders ...
Byeong Yong Kong
doaj +1 more source
A logical approach to abstract algebra [PDF]
Mathematical Structures in Computer Science, 2006 Recent work in constructive mathematics shows that Hilbert's program works for a large part of abstract algebra. Using in an essential way the ideas contained in the classical arguments, we can transform most of the highly abstract proofs of ‘concrete’ statements into elementary proofs. Surprisingly, the arguments we produce are not only elementary but
Thierry Coquand, Henri Lombardi
openaire +1 more source
Intuitive thinking in mathematics education [PDF]
ریاضی و جامعه, 2023 Mathematics and especially problem solving, has a major role in the growth of awareness and the emergence of potential human capabilities, and therefore it causes the development of human resources, which is the main goal of educational activities in ...
محمدتقی حیدری +2 more
doaj +1 more source
Conversion‐less algebraic interleaver architecture for low‐latency IDMA systems
Electronics Letters, 2023 This letter presents a conversion‐less algebraic interleaver architecture for low‐latency interleave division multiple access (IDMA) systems. The existing architectures adopt the two‐step approach that first generates a set of sequential indices, and ...
Byeong Yong Kong
doaj +1 more source
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity
Studia Logica, 2007 One of the most important contributions of the theory of abstract algebraic logic has been the use of the Leibniz operator in classifying logics in different steps of a hierarchy that roughly reflects the extent to which a logic may be studied using algebraic methods.
+14 more sources
Improving the efficiency of using multivalued logic tools
Scientific Reports, 2023 Multivalued logics are becoming one of the most important tools of information technology. They are in great demand for creation of artificial intelligence systems that are close to human intelligence, since the functioning of the latter cannot be ...
Ibragim E. Suleimenov +3 more
doaj +1 more source
Categorical Abstract Algebraic Logic: Referential Algebraic Semantics [PDF]
Studia Logica, 2013 In this paper the author introduces referential algebraic systems and congruential atlas systems, which generalize referential algebras and congruential atlases (of Wójcicki, Jansana, Palmigiano), respectively. This enables him to formulate an analog of Wójcicki's Theorem for logics formalized as \(\pi\)-institutions.
María Esteban +2 more
openaire +3 more sources
Operators and strong versions of sentential logics in Abstract Algebraic Logic [PDF]
Notre Dame Journal of Formal Logic, 2016 [eng] This dissertation presents the results of our research on some recent devel-opments in Abstract Algebraic Logic (AAL), namely on the Suszko operator, the Leibniz filters, and truth-equational logics. Part I builts and develops an abstract framework which unifies under a common treatment the study of the Leibniz, Suszko, and Frege operators in AAL.
+9 more sources
A Constructive Treatment to Elemental Life Forms through Mathematical Philosophy
Philosophies, 2021 The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science.
Susmit Bagchi
doaj +1 more source
Pattern graph rewrite systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string
Aleks Kissinger +2 more
doaj +1 more source