Premium
The Operators of Vector Logic
Author(s) -
Mizraji Eduardo
Publication year - 1996
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19960420104
Subject(s) - mathematics , zeroth order logic , algebra over a field , propositional calculus , kronecker product , intermediate logic , intuitionistic logic , non classical logic , kronecker delta , propositional variable , many valued logic , domain (mathematical analysis) , discrete mathematics , pure mathematics , logical consequence , theoretical computer science , multimodal logic , computer science , description logic , artificial intelligence , mathematical analysis , physics , quantum mechanics
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 II 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 II products. Mathematics Subject Classification: 03B05, 03B50.