Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553): Difference between revisions

Among several possible generalizations of the background of logic, the author focuses to the \(L\)-fuzzification of the valuation of a formal language and the logical matrix of a propositional language. The concept of sequential consequence of a class of fuzzy valuations introduced by the author ensures the satisfaction of all structural sequential \(L\)-rules. Several corollaries are also derived, e.g., a criterion for distinguishing propositional sequential calculi with structural rules having a complete and sound class of crisp matrices in terms of a syntactic property. Finally, two possible directions of further development of the presented theory are sketched.