Related papers: Eigenlogic: a Quantum View for Multiple-Valued and…
Reliability assessment of distribution system, based on historical data and probabilistic methods, leads to an unreliable estimation of reliability indices since the data for the distribution components are usually inaccurate or…
Coherent subspaces spanned by a finite number of coherent states are introduced, in a quantum system with Hilbert space that has odd prime dimension $d$. The set of all coherent subspaces is partitioned into equivalence classes, with $d^2$…
Of what are experimental quantum propositions primary bearers? As it is widely accepted in the modern literature, rather than being bearers of truth and falsity, these entities are bearers of probability values. Consequently, their truth…
We present a logic for reasoning with if-then formulas which involve constants for rational truth degrees from the unit interval. We introduce graded semantic and syntactic entailment of formulas. We prove the logic is complete in Pavelka…
A comparison of structural features of quantum and classical physical theories, such as the information capacity of systems subject to these theories, requires a common formal framework for the presentation of corresponding concepts (such…
Theory of operators generated by binary fuzzy relations is highly increasing for its nature and applicability. The main goal of the paper is to present several representation theorems for operators induced by fuzzy relations (for example…
We consider a family of $2 \times 2$ operator matrices ${\mathcal A}_\mu(k),$ $k \in {\Bbb T}^3:=(-\pi, \pi]^3,$ $\mu>0$, acting in the direct sum of zero- and one-particle subspaces of a Fock space. It is associated with the Hamiltonian of…
Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gr\"oebner-Shirshov basis theory to furnish an algebraic framework for…
We characterize the asymptotic performance of a class of positive operator valued measurements (POVMs) where the only task is to make measurements on independent and identically distributed quantum states on finite-dimensional systems. The…
We study self-referential sentences of the type related to the Liar paradox. In particular, we consider the problem of assigning consistent fuzzy truth values to collections of self-referential sentences. We show that the problem can be…
The characterizing properties of a proof-theoretical presentation of a given logic may hang on the choice of proof formalism, on the shape of the logical rules and of the sequents manipulated by a given proof system, on the underlying…
Eigenfunctions and eigenvalues of the operator of the square of the angular momentum are studied. It is shown that neither from the requirement for the eigenfunctions be normalizable nor from the commutation relations it is possible to…
We introduce propositional team-based logics expressively complete for (quasi) downward and (quasi) upward closed properties in a syntactically dual way, by using variants of the inclusion atom. In particular, the variants of the primitive…
It is shown that quantum mechanics can be regarded as what one might call a "fuzzy" mechanics whose underlying logic is the fuzzy one, in contradistinction to the classical "crisp" logic. Therefore classical mechanics can be viewed as a…
The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou…
We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic.…
The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric…
A general approach describing quantum decision procedures is developed. The approach can be applied to quantum information processing, quantum computing, creation of artificial quantum intelligence, as well as to analyzing decision…
Quantum mechanics is formulated as a geometric theory on a Hilbert manifold. Images of charts on the manifold are allowed to belong to arbitrary Hilbert spaces of functions including spaces of generalized functions. Tensor equations in this…
In this paper, we investigate the connection between Classical and Quantum Mechanics by dividing Quantum Theory in two parts: - General Quantum Axiomatics (a system is described by a state in a Hilbert space, observables are self-adjoint…