Algebra 4 Fuzzy logic 4 Modal algebras 4 Algebraic approaches 2 Approximate reasoning 2 BL-algebra 2 BL-algebras 2 BL-logic 2 Completeness theorems 2 Computer circuits 2 Euclidean 2 Formal logic 2 Fuzzy possibilistic logic 2 Gödel logic 2 Intuitionistic modal logic 2 Kripke frames 2 Kripke model 2 Kripke models 2 Many valued logics 2 Many-valued logics 2 Modal logic 2 Possibilistic 2 Possibilistic logic 2 Prelinearity 2 Propositional logic 2 Representation theorem 2 Semantics 2 Strong completeness 2 Algebraic function 1 Bisimulation equivalence 1