In 1990, the National Science Foundation recommended that every college mathematics
curriculum should include a second course in linear algebra. In answer to this recommendation…

There are various useful ways to write a matrix as the product of two or three other matrices
that have special properties. For example, today's linear algebra texts relate Gaussian …

1 Introduction It was pointed out as long ago as 1936 by Birkhoff and von Neumann [2], that
the logic of empirically verifiable propositions about a quantum mechanical system is not …

In this note, we list several formulas for computing orthogonal projections onto the linear
sum and intersection of two subspaces of C n in terms of the projections on the individual …

Introduction. The theory of quadratic and Hermitian forms has a long and fruitful history in
mathematics. From the time of Fermat to the time of Minkowski, quadratic forms belonged to …

Recent progress has been made in the study of implication connectives on orthomodular
lattices (see [6] and [7]). Some of this research has been motivated by the delicate question of …

A common method of obtaining the classical modal logics, for example the Feys system T,
the Lewis systems, the Brouwerian system etc., is to build on a basis for the propositional …

This paper is concerned with sesquilinear forms defined on vector spaces of arbitrary
dimension. Motivation is taken from classical Hilbert space theory, as the orthogonality relation …

A quadratic space is a generalization of a Hilbert space. The geometry of certain kinds of
subspaces (“closed,” “splitting,” etc.) is approached from the purely lattice theoretic point of view…

In this paper, we show how to generate orthomodular posets from sesquilinear forms on a
vector space.