Higher-level Sequent-systems for Intuitionistic Modal Logic
Homomorphism kernels of a tetravalent modal algebra
How to make your logic fuzzy.
The aim of this paper is to provide a methodology for turning a known crisp logic into a fuzzy system. We require of the methodology that it be meaningful in general terms, using processes which are independent of the notion of fuzziness, and that it yield a considerable number of known fuzzy systems.