𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Operators of Vector Logic

✍ Scribed by Eduardo Mizraji

Publisher
John Wiley and Sons
Year
1996
Tongue
English
Weight
641 KB
Volume
42
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Vector logic is a mathematical model of the propositional calculus in which the logical variables are represented by vectors and the logical operations by matrices. In this framework, many tautologies of classical logic are intrinsic identities between operators and, consequently, they are valid beyond the bivalued domain. The operators can be expressed as Kronecker polynomials. These polynomials allow us to show that many important tautologies of classical logic are generated from basic operators via the operations called Type I and Type I1 products. Finally, it is described a matrix version of the Fredkin gate that extends its properties to the many-valued domain, and it is proved that the filtered Fredkin operators are second degree Kronecker polynomials that cannot be generated by Type I or Type I1 products.

πŸ“œ SIMILAR VOLUMES

On the natural operators on vector field
On the natural operators on vector fields
✍ Ivan KolΓ‘Ε™ πŸ“‚ Article πŸ“… 1988 πŸ› Springer 🌐 English βš– 462 KB

We determine all natural operators transforming every vector field on a manifold M into a vector field on FM, where F is any natural bundle corresponding to a product preserving functor. This research was finished during the author's stay at the University of Vienna. The author acknowledges its kin

Vector-Valued Extensions of Operators on
Vector-Valued Extensions of Operators on Martingales
✍ Sergio Antonio Tozoni πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 262 KB

We study weighted inequalities for vector valued extensions of the conditioned square function operator and of the maximal operators of matrix type in the case of regular martingales. As applications we obtain weighted inequalities for vectorvalued extensions of the Hardy᎐Littlewood maximal operator

Operational interpretations of linear lo
Operational interpretations of linear logic
✍ David N. Turner; Philip Wadler πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 118 KB

Two di erent operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as being too ine cient. Alternatively,