Functional completeness and weak completeness in set logic

Dan Simovici; Ivan Stojmenovic; Ratko Tosic

Functional completeness and weak completeness in set logic

Dan Simovici
, Ivan Stojmenovic
, Ratko Tosic

Computer Science

University of Massachusetts Boston

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of The International Symposium on Multiple-Valued Logic
Publisher	Publ by IEEE
Pages	251-256
Number of pages	6
ISBN (Print)	0818633506
State	Published - 1993
Event	Proceedings of the 23rd International Symposium on Multiple-Valued Logic - Sacramento, CA, USA Duration: May 24 1993 → May 27 1993

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)	0195-623X

Conference

Conference	Proceedings of the 23rd International Symposium on Multiple-Valued Logic
City	Sacramento, CA, USA
Period	5/24/93 → 5/27/93

ASJC Scopus Subject Areas

General Computer Science
General Mathematics

Cite this

Simovici, D, Stojmenovic, I & Tosic, R 1993, Functional completeness and weak completeness in set logic. in Proceedings of The International Symposium on Multiple-Valued Logic. Proceedings of The International Symposium on Multiple-Valued Logic, Publ by IEEE, pp. 251-256, Proceedings of the 23rd International Symposium on Multiple-Valued Logic, Sacramento, CA, USA, 5/24/93.

@inproceedings{97248e108a5b4fa2842b98e236b0d801,

title = "Functional completeness and weak completeness in set logic",

author = "Dan Simovici and Ivan Stojmenovic and Ratko Tosic",

year = "1993",

language = "English",

isbn = "0818633506",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

publisher = "Publ by IEEE",

pages = "251--256",

booktitle = "Proceedings of The International Symposium on Multiple-Valued Logic",

note = "Proceedings of the 23rd International Symposium on Multiple-Valued Logic ; Conference date: 24-05-1993 Through 27-05-1993",

}

TY - GEN

T1 - Functional completeness and weak completeness in set logic

AU - Simovici, Dan

AU - Stojmenovic, Ivan

AU - Tosic, Ratko

PY - 1993

Y1 - 1993

UR - https://www.scopus.com/pages/publications/0027308616

UR - https://www.scopus.com/pages/publications/0027308616#tab=citedBy

M3 - Conference contribution

AN - SCOPUS:0027308616

SN - 0818633506

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 251

EP - 256

BT - Proceedings of The International Symposium on Multiple-Valued Logic

PB - Publ by IEEE

T2 - Proceedings of the 23rd International Symposium on Multiple-Valued Logic

Y2 - 24 May 1993 through 27 May 1993

ER -

Functional completeness and weak completeness in set logic

Publication series

Conference

ASJC Scopus Subject Areas

Other files and links

Fingerprint

Cite this