Glivenko theorems for substructural logics over FL.

Nikolaos Galatos Hiroakira Ono

Published in: J. Symb. Log. (2006)

Keyphrases

propositional calculus
fuzzy logic
expressive power
modal logic
digital topology
real world
information retrieval
decision making
data sets
machine learning
computer vision
similarity measure
hidden markov models
database
computational properties
nonmonotonic logics
epistemic logic
valued logic