Weak Uninorm Based Logic and Its Filter Theory.
Michiro KondoMayuka F. KawaguchiMasaaki MiyakoshiOsamu WatariPublished in: ISMVL (2011)
Keyphrases
- formal theory
- set theory
- theoretical framework
- deductive reasoning
- computer algebra
- probability theory
- commonsense reasoning
- mathematical theory
- theoretical basis
- proof theory
- proof theoretic
- data sets
- algebraic structure
- modal operators
- general theory
- classical logic
- filtering algorithm
- median filter
- multiresolution
- artificial intelligence