Brouwer-Zadeh Logic, Decidability and Bimodal Systems.

Roberto Giuntini

Published in: Stud Logica (1992)

Keyphrases

expert systems
description logics
fuzzy sets
distributed systems
intelligent systems
building blocks
complex systems
databases
neural network
management system
logic programming
digital circuits