Abstract
One method of constructing an 'approximate reasoning' system is to use a 'classical' system of many-valued logic and attach to each logical expression a 'weight' which assesses the validity of this expression. Several such systems have been described in the literature, with varying interpretations concerning structure and semantics of weights. In this paper, a 'canonical' principle for defining the fundamental relations model and semantic consequence for logics with weighted expressions is described, which not only allows a large variety of truth-value and weight structures, but furthermore allows to transfer the results of 'classical' model theory to the resulting logics in a natural way.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
