Sign in
Facet browsing currently unavailable
Page 1 of 3815 results
Sort by: relevance publication year
|
Quantifiers in rr1any-valued logic BOOK CHAPTER published 16 December 1993 in Many-Valued Logics |
|
Many-Valued Similarity Reasoning. An Axiomatic Approach JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic |
|
Chang completeness theorem BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning |
|
The classical logic BOOK CHAPTER published 16 December 1993 in Many-Valued Logics |
|
Logic algebras and matrices BOOK CHAPTER published 16 December 1993 in Many-Valued Logics |
|
Many valued paraconsistent logic PROCEEDINGS ARTICLE published in Proceedings 31st IEEE International Symposium on Multiple-Valued Logic |
|
Łukasiewicz ∞-valued calculus BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning |
|
Automata over MV-algebras [many-valued logic] PROCEEDINGS ARTICLE published in Proceedings. 34th International Symposium on Multiple-Valued Logic |
|
An algebraic method to decide the deduction problem in many-valued propositional calculus PROCEEDINGS ARTICLE published in Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) |
|
Fuzzy sets and Zadeh logic BOOK CHAPTER published 16 December 1993 in Many-Valued Logics |
|
What is many-valued logic? PROCEEDINGS ARTICLE published in Proceedings 1997 27th International Symposium on Multiple- Valued Logic |
|
A Survey of Many-Valued Logic (1966–1974) BOOK CHAPTER published 1977 in Modern Uses of Multiple-Valued Logic |
|
Many valued probability theory PROCEEDINGS ARTICLE published in Proceedings. 34th International Symposium on Multiple-Valued Logic |
|
Many-Valued Algorithmic Logic as a Tool to Investigate Programs BOOK CHAPTER published 1977 in Modern Uses of Multiple-Valued Logic |
|
Boolean Valued Analysis of Algebraic Systems BOOK CHAPTER published 1999 in Boolean Valued Analysis |
|
Alternative Semantics for Three-Valued Logic BOOK CHAPTER published 14 January 2008 in An Introduction to Many-Valued and Fuzzy Logic |
|
Algebraic aspects of multiple-valued logic PROCEEDINGS ARTICLE published 1988 in [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic |
|
Finite algebraic models for residuated logic PROCEEDINGS ARTICLE published in Proceedings 25th International Symposium on Multiple-Valued Logic |
|
Many-valued computational logics PROCEEDINGS ARTICLE published in Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic |
|
Many-Valued Logic and its Philosophy BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic |