Abstract:P-algebras are a non-commutative, non-associative generalization of Boolean algebras that are for quantum logic what Boolean algebras are for classical logic. P-algebras have type <X, 0, ', .> where 0 is a constant, ' is unary and . is binary. Elements of X are called features. A partial order is defined on the set X of features by x <= y iff x.y = x. Features commute, i.e., x.y = y.x iff x.y <= x. Features x and y are said to be orthogonal iff x.y = 0 and orthogonality is a symmetric relation.The operation + is defined as the dual of . and it is commutative on orthogonal features. The closed subspaces of a separable Hilbert space form a P-algebra under orthogonal complementation and projection of a subspace onto another one.P-algebras are complemented orthomodular posets but they are not lattices. Existence of least upper bounds for ascending sequences is equivalent to the existence of least upper bounds for countable sets of pairwise orthogonal elements. Atomic algebras are defined and their main properties are studied. The logic of P-algebras is then completely characterized. The language contains a unary connective corresponding to the operation ' and a binary connective corresponding to the operation ".". It is a substructural logic of sequents where the Exchange rule is extremely limited. It is proved to be sound and complete for P-algebras.

Label Languages of 8-directional Array P System

P Systems with 2D Picture Grammars.

One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules

Two-Dimensional Pattern Languages

Labeling regions in deformations of graphical arrangements

A P Systems Variant for Reasoning about Sequential Controllability of Boolean Networks

Irregular labeling on Abelian groups of digraphs

Languages Generated by Numerical P Systems with Thresholds

Single-shot labeling of quantum observables

PDL over Accelerated Labeled Transition Systems

Regular Abstractions for Array Systems

Computing the LCP Array of a Labeled Graph

Bidirectional Sticker Systems with Complex Structures and Generative Capacity

P Systems and Petri Nets

Projection-algebras and quantum logic

Reactive Proof Labeling Schemes for Distributed Decision

Arrival of information at a target set in a network

Achieving DNA Labeling Capacity with Minimum Labels through Extremal de Bruijn Subgraphs

Presentations for the ghost algebra and the label algebra

Directional Kronecker Algebra for -Actions

Applications of Automata and Graphs: Labeling Operators in Hilbert Space II