# Classical and Non-Classical Logic, Logical Methods for Electronic Circuits Testing

## Abstract

## References

Zaslavsky I.D. Symmetric Constructive Logic (in Russian). Publ. House of Acad. Sci. Armenia, 281p., 1978

Zaslavsky I.D. Formal Axiomatic Theories based on a Three-valued logic., Journal of Mathematical Sciences, vol.130, N 2, pp.4578-4597, 2005

Manukian S.N. Algebras of Recursively Enumerable Sets and their applications to Fuzzy Logic. Journal of Mathematical Sciences, vol.130, N 2, pp.4598-4606, 2005

Khachatrian M.H. On the Representation of Arithmetical and String Functions in Formal Languages. Transactions of IAPI of ANAS, vol. 27, pp. 37-53, 2006

Zaslavsky I.D. Fuzzy Constructive Logic (in Russian). Proceedings of Scientific Seminars of St.-Petersburg Dept. of Math. Inst. Steklov, vol. 358, pp. 130-152, 2008

Rashevsky P. K. On the dogma of natural numbers series. (in Russian), Uspekhi Math Nauk, vol. 28, N4(172), pp. 243-246, 1973

Vardanian V.A., Mirzoyan L.B. Method for Improvement of the Error Detection Ability of Concurrent Checkers. Proceedings of the International Conference “Computer Science and Information Technologies”, CSIT-01, pp. 349-353, 2001

Vardanian V.A. On Completely Robust Path Delay Fault testable Realization of Logic Functions., proceedings of the 14th IEEE VLSI Test Symposium, Princeton (USA), pp.302-307, 1996

Harutunyan G., Vardanian V.A., Zoryan Y. Minimal March Tests for Dynamic Faults in Random Access Memories. Journal of Electronic Testing, Theory and Applications, vol. 23, N1, pp. 65-74, 2007.

## Downloads

## Published

## How to Cite

*Mathematical Problems of Computer Science*,

*34*, 33–34. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/314

## Issue

## Section

## License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.