Title
The logic of optics and the optics of logic
Abstract
There have been various attempts to implement the standard logical formalism, known as "Boolean Logic", stemming from Aristotle, the Stoics, Leibniz, Boole, and Frege, extending to the fuzzy logic developed by Zadeh [Info. Ctl. 338 (1965) 353]. That logic, isomorphic, as we now know, with the logic of electric circuitry, was not designed for optical implementation. Nor has there been a notable success in developing such an implementation. We demonstrate a new type of logic designed for implementation by coherent optics. It has the logic of Zadeh as a special case just as Zadeh's logic has the logic of Boolean algebra as a special case. Because the new logic operates over a finite set of vectors in the complex domain, we call it Vector Logic. Some Vector Logic operations are very easy to implement, but the universal "Vector NOR" or VNOR gate is quite complex. Optical Vector Logic gates are passive, so they operate at the bandwidth of the signal input and readout. And, of course, the parallel nature of many coherent optical processors can apply here as well to yield SIMD and even MIMD systems.
Year
DOI
Venue
2004
10.1016/j.ins.2003.01.002
Inf. Sci.
Keywords
Field
DocType
fuzzy logic,coherent optic,special case,vector logic operation,optical vector logic gate,new logic,boolean algebra,optical implementation,vector logic,boolean logic,logic design,logic gate
Computational logic,Discrete mathematics,Vector logic,Optics,Theoretical computer science,Logic family,Philosophy of logic,Many-valued logic,Predicate logic,Higher-order logic,Mathematics,Dynamic logic (modal logic)
Journal
Volume
Issue
ISSN
162
1
0020-0255
Citations 
PageRank 
References 
4
0.92
1
Authors
2
Name
Order
Citations
PageRank
H. John Caulfield1443164.79
Jonathan Westphal240.92