Review of Classical Propositional Logic

BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic

An Inductive Construction for Many-Valued Coalgebraic Modal Logic

PROCEEDINGS ARTICLE published May 2023 in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)

Authors: Chun-Yu Lin | Churn-Jung Liau

Completeness criteria in many-valued set logic under compositions with Boolean functions

PROCEEDINGS ARTICLE published in Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)

Authors: I. Stojmenovic

Development of quantum functional devices for multiple-valued logic circuits

PROCEEDINGS ARTICLE published in Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

Authors: T. Baba

Tutorial: Complexity of many-valued logics

PROCEEDINGS ARTICLE published in Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

Authors: R. Hahnle

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

PROCEEDINGS ARTICLE published 2001 in Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

Classification of Three-Valued Logical Functions

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: MASAHIRO MIYAKAWA

Derivation Systems for fuzzy Propositional Logic

BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic

Review of Classical First-Order Logic

BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic

Polynomial Ring Calculus for Many-Valued Logics

PROCEEDINGS ARTICLE published in 35th International Symposium on Multiple-Valued Logic (ISMVL'05)

Authors: W. Carnielli

Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

PROCEEDINGS ARTICLE published 1999 in Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

Multiple-valued Logics Based on Hazy Structures

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: GHEZELAYAGHE M.

Derivation Systems for Fuzzy First-Order Logic

BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic

Complexity of Many-valued Logics

BOOK CHAPTER published 2003 in Beyond Two: Theory and Applications of Multiple-Valued Logic

Authors: Reiner Hähnle

Many-valued logics and plausible reasoning

PROCEEDINGS ARTICLE published in Proceedings of the Twentieth International Symposium on Multiple-Valued Logic

Authors: W.A. Carnielli

INTORUDUCTION TO SPECIAL ISSUE

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: LUCIEN HADDAD

On basic groups in partial many-valued logics

PROCEEDINGS ARTICLE published in Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic

State assignment techniques in multiple-valued logic

PROCEEDINGS ARTICLE published in Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

Authors: K.J. Adams | J.G. Campbell | L.P. Maguire | J.A.C. Webb

BCC-Algebras Inherited From Posets

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: RADOMÍR HALASˇ

Definitions Derived from Neutrosophics

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: SMARANDACHE FLORENTIN