Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
390727 | Fuzzy Sets and Systems | 2008 | 22 Pages |
Abstract
We introduce a semantical definition of minterms and maxterms which generalizes the usual notion in Boolean logic to a class of many-valued logics. We apply this notion to get normal forms for logics G, NM, NMG. Then we obtain a combinatorial description of the n-generated free algebras in the varieties constituting the algebraic semantics of those logics. Specifically, we represent via combinatorial posets the embedding of the n-generated free algebra into the direct product of all n-generated chains in the variety.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence