Sign in
Facet browsing currently unavailable
Page 3 of 6186 results
Sort by: relevance publication year
|
Classical characterization of many-valued logics BOOK CHAPTER published 16 December 1993 in Many-Valued Logics |
|
On basic groups in partial many-valued logics PROCEEDINGS ARTICLE published in Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic |
|
III Axiomatization of Many-Valued Statement Calculi BOOK CHAPTER published 1952 in Many-Valued Logics |
|
Standard properties of many-valued constructions BOOK CHAPTER published 16 December 1993 in Many-Valued Logics |
|
Many-valued logics and plausible reasoning PROCEEDINGS ARTICLE published in Proceedings of the Twentieth International Symposium on Multiple-Valued Logic |
|
On spectra of many-valued logic symmetric functions PROCEEDINGS ARTICLE published 1988 in [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic |
|
Many-Valued Propositional Calculi BOOK CHAPTER published 1992 in Many-Valued Logics |
|
Three-Valued Propositional Logics: Semantics BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic |
|
Algebraic division for multilevel logic synthesis of multi-valued logic circuits PROCEEDINGS ARTICLE published in Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) |
|
Permission to speak: A logic for access control and conformance JOURNAL ARTICLE published January 2011 in The Journal of Logic and Algebraic Programming |
|
Classical Gentzen-type methods in propositional many-valued logics PROCEEDINGS ARTICLE published in Proceedings 31st IEEE International Symposium on Multiple-Valued 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) |
|
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) |
|
Maximal Partial Clones of 4-valued Logic JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic |
|
Probabilistic and truth-functional many-valued logic programming PROCEEDINGS ARTICLE published in Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329) |
|
Three-Valued First-Order Logics: Semantics BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic |
|
Functors of Boolean Valued Analysis BOOK CHAPTER published 1999 in Boolean Valued Analysis |
|
Efficient deduction in many-valued logics PROCEEDINGS ARTICLE published in Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) |
|
Review of Classical Propositional Logic BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic |
|
Note on resolution approximation of many-valued logics PROCEEDINGS ARTICLE published in Proceedings of the Twentieth International Symposium on Multiple-Valued Logic |