By taking finite lattice implication algebra as a truth2value field , a syntactic system of lattice2 valued propositional logic based on finite lattice implication algebra was proposed. The basic definitions of syntactic ...

We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Rosser and Turquette.

We greatly extend fuzzifying topology by introducing a unary fuzzy predicate interpreted as the property to be fuzzifying topological spaces on the class of all so-called fuzzifying pretopological spaces and by adopting ...