Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 50704 results
Sort by: relevance publication year

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

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

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

INTORUDUCTION TO SPECIAL ISSUE

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: LUCIEN HADDAD

Many-valued logics and plausible reasoning

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

Authors: W.A. Carnielli

On basic groups in partial many-valued logics

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

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

Three-Valued Propositional Logics: Semantics

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

Hyperclones on a Two-Element Set

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: HAJIME MACHIDA

Classical Gentzen-type methods in propositional many-valued logics

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

Authors: A. Avron

Many-valuedness and uncertainty

PROCEEDINGS ARTICLE published in Proceedings 1997 27th International Symposium on Multiple- Valued Logic

Authors: E. Orlowska