A method for synthesizing quantum gates is presented based on interpolation methods applied to operators in Hilbert space. Starting from the diagonal forms of specific generating seed operators with non-degenerate eigenvalue spectrum one obtains for...
There are two probabilistic algebras: one for classical probability and the other for quantum mechanics. Naturally, it is the relation to the object that decides, as in the case of logic, which algebra is to be used. From a paraconsistent multivalued...
Hydraulic valves are used to determine the set values of hydraulic quantities (flow rate, pressure, or pressure difference) in a hydraulic system or its part. This is achieved through the appropriate throttling of the stream flowing through the valve...
In 1983, B. Moszkowski introduced a first interval-interpreted temporal logic system, the so-called Interval Temporal Logic (ITL), as a system suitable to express mutual relations inside intervals for reasonings about digital circuits. In 1991, Halpe...
Memristors have been proved effective in intelligent computing systems owing to the advantages of non-volatility, nanometer size, low power consumption, compatibility with traditional CMOS technology, and rapid resistance transformation. In recent ye...
This paper presents the concept of an expert system supporting the decision-making process of rational energy consumption by an electric car. The driving style and the average speed achieved are very important in terms of the driving range. In additi...
Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open proble...
As hybrid organizations that combine market-related logic with social logic, social enterprises (SEs) play a crucial role in addressing the challenges faced by people in employment while creating economic benefits through innovative solutions to driv...
Making predictions according to historical values has long been regarded as common practice by many researchers. However, forecasting solely based on historical values could lead to inevitable over-complexity and uncertainty due to the uncertainties...
This study aims to demonstrate how mathematics, especially calculus concepts, can be expanded to include semi-entities and how these can be applied to sampling activities. Here, the multivalued logic uses pseudo-complemented lattices, instead of Bool...
In this paper, the formulation of Quantum Mechanics in terms of fuzzy logic and fuzzy sets is explored. A result by Pykacz, which establishes a correspondence between (quantum) logics (lattices with certain properties) and certain families of fuzzy s...
A new design of quaternary inverter (QNOT gate) is proposed by means of finite-element simulation. Traditionally, increasing the number of data levels in digital logic circuits was achieved by increasing the number of transistors. Our QNOT gate consi...
The current state of affairs in the field of using polymer hydrogels for the creation of innovative systems for signal and image processing, of which computing is a special case, is analyzed. Both of these specific examples of systems capable of form...
Computer-aided transport modelling is essential for testing different control strategies for traffic lights. One approach to modelling traffic control is by heuristically defining fuzzy rules for the control of traffic light systems and applying them...
In this paper, we suggest an implementation of non-commutative logic and apply its operators for decision-making in a group of autonomous agents. The suggested operators extend the uninorm and absorbing norm aggregators and use an additional asymmetr...
Focusing on the classification of business data resources within a unified business semantic environment is an important method to simplify the data environment and a crucial approach to studying data intelligence. A multi-value chain data space is a...
Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic....
This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology. One of the fundamental issues is a complete description of the closed classes of functions of three...
Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial ag...
This article is devoted to the practical application of multi-operations theory to the construction of decision-making systems and the description of the subsequent research results. Unlike classical multi-valued and fuzzy logic, where events are des...
Current encryption technologies mostly rely on complex algorithms or difficult mathematical problems to improve security. Therefore, it is difficult for these encryption technologies to possess both high security and high efficiency, which are two pr...
The interpretability and explainability of machine learning (ML) approaches play a key role in the trustworthiness of ML models in various applications. The objective of this paper is to incorporate a logic-based reasoning in the ML model that is not...
The computational applications of fuzzy sets are pervasive in systems with inherent uncertainties and multivalued logic-based approximations. The existing fuzzy analytic measures are based on regularity variations and the construction of fuzzy topolo...
The paper deals with the methods of handling imperfect information and the control of mobile robots acting under uncertainty. It is assumed that the robots act in autonomous regime and are controlled internally without referring the externally define...
This article presents the problem of diagnostic examination by the (DIAG) diagnostic system of devices of the House on Water (HoW) hybrid electric power system in the multi-valued (2, 3, and 4) state assessment. Forming the basis for the functioning...
A novel approach to constructing an algorithm for computing discrete logarithms, which holds significant interest for advancing cryptographic methods and the applied use of multivalued logic, is proposed. The method is based on the algebraic delta fu...
Despite the indispensable role of traditional electronic computers in modern society, their limitations in parallel processing capabilities, bit-width constraints, and processor bit-width are becoming increasingly apparent, especially when handling l...
The Łukasiewicz conjunction (sometimes also considered to be a logic of absolute comparison), which is used in multivalued logic and in fuzzy set theory, is one of the most important t-norms. In combination with the binary operation ‘maximum&rs...
In this work, we propose a novel quantum-informed epistemic framework that extends the classical notion of probability by integrating plausibility, credibility, and possibility as distinct yet complementary measures of uncertainty. This enriched quad...
The natural transformation constitutes one of the most important entity of category theory and it introduces a piece of sophisticated dynamism to the categorial structures. Each natural transformation forms a unique mapping between the so-called func...