Results 301 to 310 of about 2,196,068 (340)
Some of the next articles are maybe not open access.
Substitution, Quantifiers and Identity in Modal Logic
2001The categorical point of view in logic tries to understand the meaning of all the connectives and operators in a structural, conceptual way as opposed to the purely descriptive point of view. What is in question is the explanation of the linguistic phenomena that is not reduced to a mere description, say, of the logical laws that hold or do not hold in
openaire +2 more sources
Implementation of symbolic substitution logic using optical associative memories.
Applied Optics, 1987F. Yu, S. Jutamulia
semanticscholar +1 more source
Efficient optical implementation method for symbolic substitution logic based on shadow casting
, 1989A. Louri
semanticscholar +1 more source
Practical Aspects In The Implementation Of Symbolic Substitution Logic
Optics & Photonics, 1989P. A. Ramamoorthy, S. Antony
semanticscholar +1 more source
Optical Laboratory Symbolic Substitution Logic And Numeric Processor
Other Conferences, 1989E. Botha, D. Casasent, Yun Zhang
semanticscholar +1 more source