Results 1 to 10 of about 1,104 (136)
Improving the efficiency of using multivalued logic tools: application of algebraic rings [PDF]
Scientific Reports, 2023 It is shown that in order to increase the efficiency of using methods of abstract algebra in modern information technologies, it is important to establish an explicit connection between operations corresponding to various varieties of multivalued logics ...
Ibragim E. Suleimenov +3 more
doaj +2 more sources
Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems [PDF]
Journal of Mathematics, 2013 The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting ...
George Voutsadakis
doaj +3 more sources
The specifics of the Galois field GF(257) and its use for digital signal processing [PDF]
Scientific ReportsAn algorithm of digital logarithm calculation for the Galois field $$GF(257)$$ G F ( 257 ) is proposed. It is shown that this field is coupled with one of the most important existing standards that uses a digital representation of the signal through 256 ...
Akhat Bakirov +4 more
doaj +2 more sources
On algebraic abstractions for concurrent separation logics [PDF]
Proceedings of the ACM on Programming Languages, 2021 Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that of partial commutative monoids (PCMs). Extant research considers ownership transfer primarily from the logical perspective while comparatively less attention is drawn to the
Frantisek Farka +4 more
openaire +5 more sources
برنامج مقترح قائم على المنطق الرياضي لتنمية مهارات الإثبات الجبري لدى تلاميذ المرحلة الاعدادية [PDF]
مجلة تربويات الرياضيات, 2021 مستخلص البحث: هَدِف البحث إلى تدريس برنامج قائم على المنطق الرياضي من اجل تنمية مهارات الاثبات الجبري لدى تلاميذ الصف الثاني الاعدادي، وتکونت عينة البحث من (40) تلميذاً تم تقسيمهم الى مجموعتين : مجموعة تجريبية وبلغ عددهم (21) تلميذاً درسوا البرنامج ...
محمود هاشم محمد البشلاوي +1 more
doaj +1 more source
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
Knowledgebra: An Algebraic Learning Framework for Knowledge Graph
Machine Learning and Knowledge Extraction, 2022 Knowledge graph (KG) representation learning aims to encode entities and relations into dense continuous vector spaces such that knowledge contained in a dataset could be consistently represented.
Tong Yang +4 more
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 +2 more sources
Bialgebraic Semantics for Logic Programming [PDF]
Logical Methods in Computer Science, 2015 Bialgebrae provide an abstract framework encompassing the semantics of different kinds of computational models. In this paper we propose a bialgebraic approach to the semantics of logic programming.
Filippo Bonchi, Fabio Zanasi
doaj +1 more source
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