Algebraic description of n-alkane molecules: first overtone of CH stretching modes

PhysChemComm ◽  
2003 ◽  
Vol 6 (11) ◽  
pp. 42 ◽  
Author(s):  
Tijana Marinkovi? ◽  
Stefano Oss
Keyword(s):  
Algebraic Description

Algebraic description of bounded real matrixes

1966 ◽  
Vol 2 (12) ◽  
pp. 464 ◽  
Author(s):  
B.D.O. Anderson
Keyword(s):  
Algebraic Description

scholarly journals Homological epimorphisms, homotopy epimorphisms and acyclic maps

2020 ◽  
Vol 32 (6) ◽  
pp. 1395-1406
Author(s):  
Joseph Chuang ◽  
Andrey Lazarev
Keyword(s):  
Wide Class ◽  
Topological Spaces ◽  
Loop Spaces ◽  
Graded Algebras ◽  
Differential Graded Algebras ◽  
Algebraic Description ◽  
Acyclic Map ◽  
Induced Maps

AbstractWe show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of induced maps of their chain algebras of based loop spaces. In the case of a universal acyclic map we obtain, for a wide class of spaces, an explicit algebraic description for these induced maps in terms of derived localization.

Properties of implication in effect algebras

2021 ◽  
Vol 71 (3) ◽  
pp. 523-534
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Hilbert Space ◽  
Quantum Mechanics ◽  
State Space ◽  
Effect Algebra ◽  
Modus Ponens ◽  
Effect Algebras ◽  
Algebraic Semantics ◽  
Deductive Systems ◽  
Algebraic Description ◽  
Residuated Poset

Abstract Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serve as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of quantum mechanics, more precisely as an algebraic semantics of these logics. Because every productive logic is equipped with implication, we introduce here such a concept and demonstrate its properties. In particular, we show that this implication is connected with conjunction via a certain “unsharp” residuation which is formulated on the basis of a strict unsharp residuated poset. Though this structure is rather complicated, it can be converted back into an effect algebra and hence it is sound. Further, we study the Modus Ponens rule for this implication by means of so-called deductive systems and finally we study the contraposition law.

Sign in / Sign up

Export Citation Format

Share Document