We introduce a framework within which reasoning according to Lukasiewicz logic can be represented. We consider a separable Boolean algebra B endowed with a (certain type of) group C of automorphisms; the pair (B, G) will be called a Boolean ambiguity algebra. B is meant to model a system of crisp properties; G is meant to express uncertainty about these properties. We define fuzzy propositions as subsets of B which are, most importantly, closed under the action of G. By defining a conjunction and implication for pairs of fuzzy propositions in an appropriate manner, we are led to the algebraic structure characteristic for Lukasiewicz logic.
展开▼