Results 1 to 10 of about 86,163 (232)
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 +8 more sources
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
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic [PDF]
Logical Methods in Computer Science, 2015 Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold.
Bart Jacobs
doaj +6 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
Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems [PDF]
Applied Categorical Structures, 2006 This paper is part of the great programme undertaken by the same author to generalize algebraization of deductive systems / sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \(\pi\)-institutions. The latter arose within formal specification theory as a meta-theory for multi-signature deductive systems, independently ...
George Voutsadakis
exaly +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 +3 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