
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Noboru Takagi, Kyoichi Nakashima, "Discrete Interval Truth Values Logic and Its Application," IEEE Transactions on Computers, vol. 49, no. 3, pp. 219229, March, 2000.  
BibTex  x  
@article{ 10.1109/12.841126, author = {Noboru Takagi and Kyoichi Nakashima}, title = {Discrete Interval Truth Values Logic and Its Application}, journal ={IEEE Transactions on Computers}, volume = {49}, number = {3}, issn = {00189340}, year = {2000}, pages = {219229}, doi = {http://doi.ieeecomputersociety.org/10.1109/12.841126}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Discrete Interval Truth Values Logic and Its Application IS  3 SN  00189340 SP219 EP229 EPD  219229 A1  Noboru Takagi, A1  Kyoichi Nakashima, PY  2000 KW  Multiplevalued logic KW  set logic KW  setvalued function KW  regularity KW  static hazard. VL  49 JA  IEEE Transactions on Computers ER   
Abstract—In this paper, we focus on functions defined on a special subset of the power set of
[1] S.C. Kleene, Introduction to Metamathematics, pp. 332340, NorthHolland, 1952.
[2] R.C.T. Lee and C.L. Chang, “Some Properties of Fuzzy Logic,” Information and Control, vol. 19, pp. 417431, 1971.
[3] M. Mukaidono, “The BTernary Logic and Its Applications to the Detection of Hazards in Combinational Switching Circuits,” Proc. Eighth Int'l Symp. MultipleValued Logic, pp. 269275, 1978.
[4] M. Mukaidono, “The Representation and Minimization of Fuzzy Switching Functions,” Analysis of Fuzzy Information, Volume I Mathematics and Logic, J.C. Bezdek, ed., pp. 213229. CRC Press, year?.
[5] A. Kandel and J.M. Francioni, “On the Properties and Applications of FuzzyValued Switching Function,” IEEE Trans. Computers, vol. 29, no. 11, pp. 986994, Nov. 1980.
[6] K.C. Smith, “The Prospects for Multivalued Logic: A Technology and Applications View,” IEEE Trans. Computers, vol. 30, no. 9, pp. 619634, Sept. 1981.
[7] S.L. Hurst, “MultipleValued Logic—Its Status and Its Future,” IEEE Trans. Computers, vol. 33, no. 12, pp. 1,1601,179, Dec. 1984.
[8] M. Mukaidono, “Regular Ternary Logic Functions—Ternary Logic Functions Suitable for Treating Ambiguity,” IEEE Trans. Computers, vol. 35, no. 2, pp. 179183, 1986.
[9] M. Mukaidono and I.G. Rosenberg, “KValued Functions for Treating Ambiguities,” Proc. 16th Int'l Symp. MultipleValued Logic, pp. 204211, 1986.
[10] J.C. Muzio and T.C. Wesselkamper, MultipleValued Switching Theory. Adam Hilger Ltd., 1986.
[11] N. Takagi and M. Mukaidono, “Fundamental Properties of Multivalued Kleenean Functions,” Systems and Computers in Japan, vol. 23, no. 13, pp. 6675, 1992.
[12] Y. Hata, K. Nakashima, and K. Yamato, “Some Fundamental Properties of MultipleValued Kleenean Functions and Determination of Their Logic Formulas,” IEEE Trans. Computers, vol. 42, no. 8, pp. 950961, 1993.
[13] N. Takagi, K. Nakashima, and M. Mukaidono, “A Necessary and Sufficient Condition for Kleenean Functions,” IEICE Trans. Information and Systems, vol. E79D, no. 11, pp. 1,5111,517, 1996.
[14] N. Takagi, Y. Nakamura, and K. Nakashima, “SetValued Functions and Regularity,” Proc. 27th Int'l Symp. MultipleValued Logic, pp. 8994, 1997.
[15] A. Ngom, C. Reischer, D.A. Simovici, and I. Stojmenovic, “SetValued Logic Algebra: A Carrier Computing Foundation,” MultipleValued Logic: An Int'l J., vol. 2, no. 3, pp. 183216, 1997.
[16] W.E.L. Grimson, M. Leventon, G. Ettinger, A. Chabrerie, C.F. Ozlen, S. Nakajima, H. Atsumi, R. Kikinis, and P. Black, “Clinical Experience with a High Precision ImageGuided Neurosurgery System,” Proc. First Int'l Conf. Medical Image Computing and ComputerAssisted Intervention (MICCAI '98), pp. 6373, 1998.
[17] I.G. Rosenberg, “MultipleValued Hyperstructures,” Proc. 28th Int'l Symp. MultipleValued Logic, pp. 328333, 1998.
[18] R. Balbes and P. Dwinger, Distributive Lattices, pp. 3964. Univ. of Missouri Press, 1974.