Axiomatizing non-deterministic many-valued generalized consequence relations.

Sérgio Marcelino Carlos Caleiro

Published in: Synth. (2021)

Keyphrases

database
black box
concept lattice
conceptual clustering
real time
real world
three dimensional
expert systems
modal logic
set valued