Ivan Stojmenovic

Mirjana Borisavljevic, Silvia Ghilezan, Predrag Janicic, Aleksandar Krapez, Milos Kurilic, Zarko Mijajlovic, Zoran Markovic, Zoran Ognjanovic, Jovanka Pantovic, Zoran Petric, Miomir S. Stankovic, Radomir S. Stankovic, Ivan Stojmenovic, Djordje Vukomanovic, History of Mathematical Logic in Serbia, in: Logic in Central and Eastern Europe: History, Science, and Discourse (edited by Andrew Schumann), December 2012, University Press of America, 467-492.

List of publications (1983-2000)

Multiple-Valued Logic

Multiple-valued logic is an interdisciplinary area (it belongs to computer science, electrical engineering and mathematics). Functional completeness theory studies the constructions of logical functions from a set of primitives and enumeration of bases. The problems which are investigated include classification of functions and enumeration of bases of a closed subset of the set of all k-valued logical functions and the study of particular kinds of functions (monotone, symmetric, predicate, etc.) in many-valued logics. Set-valued logic is studied because of its recent applications in the design of biomolecular, interconnection free and wave-parallel computing models.

Our latest research was on application of genetic algorithms and neural networks in the synthesis of multiple valued functions, and papers are listed under evolutionary computing list. 

Main publications:

D.A. Simovici, I. Stojmenovic, R. Tosic, Boolean completeness in two-valued set logic, Multiple-Valued Logic, an International Journal, 5, 3, 2000, 267-280.

Simovici D.A.,  Stojmenovic I.,  and Tosic R., Functional completeness and weak completeness in set logic, 23-th IEEE Int. Symp. Multiple-Valued Logic, Sacramento, CA, USA, May 1993, 251-256. {17 citations}

Reischer C., Simovici D., and Stojmenovic I., An algebraic approach to entropy, in: Contributions to General Algebra 9, Verlag Holder-Pichler-Tempsky, Wien 1995, Verlag B.G. Teubner, Stuttgart, 271-280.

Reischer C., Simovici D.A., Stojmenovic I. and Tosic R., A characterization of Boolean collections of set-valued functions, Information Sciences, Vol. 99, No. 3-4, July 1997, 195-204.

Ngom A., Reischer C., Simovici D.A., and Stojmenovic I., Set-valued logic algebra: A carrier computing foundation, Multiple-Valued Logic, an International Journal, Vol. 2, No. 3, 1997, 183-216.

Miyakawa M., Rosenberg I., Stojmenovic I., Classification of three-valued logical functions preserving 0, Discrete Applied Mathematics, 28 (1990) 231-249.

Miyakawa M., Stojmenovic I., Classification of Pk2, Discrete Applied Mathematics, 23 (1989) 179-192.

Stojmenovic I., On Sheffer symmetric functions in three-valued logic, Discrete Applied Mathematics, 22 (1988/89) 267-274 .

Stojmenovic I., Completeness criteria in many-valued set logic under compositions with Boolean functions, 24-th IEEE Int. Symp. Multiple-Valued Logic, Boston, May 1994, 177-183.

Tosic R., Stojmenovic I., and Miyakawa, M., On the maximum size of the terms in the realization of symmetric functions, 21-th IEEE Int. Symp. Multiple-Valued Logic, Victoria, BC, Canada, May 1991, 110-117.

Demetrovics J., Miyakawa M., Rosenberg I.G., Simovici D.A., and Stojmenovic I., Intersections of isotone clones of on a finite set, 20-th IEEE Int. Symp. Multiple-Valued Logic, Charlotte, NC, USA, May 1990, 248-253.  {11 citations}

Stojmenovic I., Miyakawa M., Tosic, R., On spectra of many-valued logic symmetric functions, IEEE Int. Symp. Multiple-Valued Logic, Palma de Mallorca, Spain, May 1988, 285-292.

Miyakawa M., Stojmenovic I., Lau D., Rosenberg I., Classifications and basis enumerations in many-valued logics - a survey, 17-th Int. Symp. on Multiple-Valued Logic, Boston, May 1987, 152-160.