Repositorios 2 Catálogos de Bibliotecas 1

Propositional logic 7 Algebra 2 Algebraic approaches 2 Approximate reasoning 2 Authorization languages 2 BL-algebra 2 BL-algebras 2 BL-logic 2 Bisimulations 2 Boolean functions 2 Coinduction 2 Computer circuits 2 Computer science 2 Conjunctive normal forms 2 DKAL 2 Distributed authorization 2 Distributed knowledge 2 Embedding 2 Euclidean 2 First-order 2 Formal logic 2 Fuzzy logic 2 Fuzzy possibilistic logic 2 Hybrid logic 2 Hybrid logics 2 Intuitionistic logic 2 Modal algebras 2 Modal depth 2 Modal formulas 2 Modal language 2