相关论文: Set Representation of Dynamic De Morgan algebras
In this paper, we will study Heyting algebras endowed with tense negative operators, which we call tense H-algebras and we proof that these algebras are the algebraic semantics of the Intuitionistic Propositional Logic with Galois…
The present study shows how to enrich De Morgan algebras with a perfection operator that allows one to express the Boolean properties of negation-consistency and negation-determinedness. The variety of perfect paradefinite algebras thus…
Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras.…
We investigate the problem of characterizing the classes of Grothendieck toposes whose internal logic satisfies a given assertion in the theory of Heyting algebras, and introduce natural analogues of the double negation and De Morgan…
We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to 'recover' the properties of classical…
The relation between nonlinear algebras and linear ones is established. For one-dimensional nonlinear deformed Heisenberg algebra with two operators we find the function of deformation for which this nonlinear algebra can be transformed to…
It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimension. To fill this gap, we introduce certain tense operators…
We carry out a careful study of operator algebras associated with Delone dynamical systems. A von Neumann algebra is defined using noncommutative integration theory. Features of these algebras and the operators they contain are discussed.…
In a seminal work, K. Segerberg introduced a deontic logic called DAL to investigate normative reasoning over actions. DAL marked the beginning of a new area of research in Deontic Logic by shifting the focus from deontic operators on…
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…
We construct C-algebras for a class of surfaces that are inverse images of certain polynomials of arbitrary degree. By using the directed graph associated to a matrix, the representation theory can be understood in terms of ``loop'' and…
We consider the problem of implementing deontic modal logic. We show how (deontic) modal operators can be elegantly and directly expressed using default negation (negation-as-failure) and strong negation present in answer set programming…
Let G be a discrete group and $\Gamma$ an almost normal subgroup. The operation of cosets concatanation extended by linearity gives rise to an operator system that is embeddable in a natural C* algebra. The Hecke algebra naturally embeds as…
A deformed boson algebra is naturally introduced from studying quantum mechanics on noncommutative phase space in which both positions and momenta are noncommuting each other. Based on this algebra, corresponding intrinsic noncommutative…
We consider one dimensional deformed Heisenberg algebra leading to existence of minimal length for coordinate operator and minimal and maximal uncertainty of momentum operator. For this algebra an exactly solvable Hamiltonian is…
We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable…
The aim of this paper is to present a very simple set of conditions, necessary for the management of knowledge of a poset $T$ of two agents, which are partially ordered by the capabilities available in the system. We build up a formal…
This paper presents State Algebra, a novel framework designed to represent and manipulate propositional logic using algebraic methods. The framework is structured as a hierarchy of three representations: Set, Coordinate, and Row…
Deformed Harmonic Oscillator Algebras are generated by four operators, two mutually adjoint $a$ and $a^\dagger$, and two self-adjoint $N$ and the unity $1$ such as: $[a,N] = a, [a^\dagger, N]= -a^\dagger, a^\dagger a = \psi(N)$ and…
In this paper, we give a multiplication operator representation of bounded self-adjoint operators T on a Hilbert space H such that -- is a frame for H, for some -- . We state a necessary condition in order for a frame -- to have a…