M-fuzzifying basic inquisitive semantics. Xie, L. & Wu, X. Journal of Intelligent & Fuzzy Systems, 2019.
Paper doi abstract bibtex 2 downloads The basic system of inquisitive semantics (InqB) established by Groenendijk et al. is a general inquisitive semantic theory which doesn't concern fuzziness. To explain the fuzzy phenomena in natural languages, this paper extends InqB into the framework of M-fuzzifying setting and establishes a basic system of M-fuzzifying inquisitive semantics. To begin with, the notion of M-fuzzifying supporting mapping is defined, where M is a completely distributive lattice with an involution operator and each subset of the universal set of all possible worlds can be regarded as a support of any well-formed formula to some degree. Then the notions of M-fuzzifying entailment order, M-fuzzifying truth mappings, M-fuzzifying informative content mappings and M-fuzzifying inquisitive content mappings are introduced and their properties are discussed. Further, the degrees of assertiveness, informativeness, inquisitiveness and questioning of a well-formed formula are defined, by which the M-fuzzifying assertive projection operator and the M-fuzzifying questioning projection operator are introduced and characterized. Finally, a necessary and sufficient condition is obtained, where a well-formed formula is exactly the disjunction of its unique M-fuzzifying assertive projection and unique M-fuzzifying questioning projection.
@article{XieWu:19,
abstract = {The basic system of inquisitive semantics (InqB) established by Groenendijk et al. is a general inquisitive semantic theory which doesn't concern fuzziness. To explain the fuzzy phenomena in natural languages, this paper extends InqB into the framework of M-fuzzifying setting and establishes a basic system of M-fuzzifying inquisitive semantics. To begin with, the notion of M-fuzzifying supporting mapping is defined, where M is a completely distributive lattice with an involution operator and each subset of the universal set of all possible worlds can be regarded as a support of any well-formed formula to some degree. Then the notions of M-fuzzifying entailment order, M-fuzzifying truth mappings, M-fuzzifying informative content mappings and M-fuzzifying inquisitive content mappings are introduced and their properties are discussed. Further, the degrees of assertiveness, informativeness, inquisitiveness and questioning of a well-formed formula are defined, by which the M-fuzzifying assertive projection operator and the M-fuzzifying questioning projection operator are introduced and characterized. Finally, a necessary and sufficient condition is obtained, where a well-formed formula is exactly the disjunction of its unique M-fuzzifying assertive projection and unique M-fuzzifying questioning projection.},
author = {Xie, Li-Li and Wu, Xiu-Yun},
date-added = {2021-08-17 00:00:00 +0000},
date-modified = {2021-08-17 00:00:00 +0000},
doi = {10.3233/JIFS-182500},
journal = {Journal of Intelligent & Fuzzy Systems},
keywords = {inquisitive logic},
pages = {7711-7723},
title = {M-fuzzifying basic inquisitive semantics},
url = {https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500},
year = {2019},
Bdsk-Url-1 = {https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500}}
Downloads: 2
{"_id":"fZcbmdZjjjgKq8bzw","bibbaseid":"xie-wu-mfuzzifyingbasicinquisitivesemantics-2019","author_short":["Xie, L.","Wu, X."],"bibdata":{"bibtype":"article","type":"article","abstract":"The basic system of inquisitive semantics (InqB) established by Groenendijk et al. is a general inquisitive semantic theory which doesn't concern fuzziness. To explain the fuzzy phenomena in natural languages, this paper extends InqB into the framework of M-fuzzifying setting and establishes a basic system of M-fuzzifying inquisitive semantics. To begin with, the notion of M-fuzzifying supporting mapping is defined, where M is a completely distributive lattice with an involution operator and each subset of the universal set of all possible worlds can be regarded as a support of any well-formed formula to some degree. Then the notions of M-fuzzifying entailment order, M-fuzzifying truth mappings, M-fuzzifying informative content mappings and M-fuzzifying inquisitive content mappings are introduced and their properties are discussed. Further, the degrees of assertiveness, informativeness, inquisitiveness and questioning of a well-formed formula are defined, by which the M-fuzzifying assertive projection operator and the M-fuzzifying questioning projection operator are introduced and characterized. Finally, a necessary and sufficient condition is obtained, where a well-formed formula is exactly the disjunction of its unique M-fuzzifying assertive projection and unique M-fuzzifying questioning projection.","author":[{"propositions":[],"lastnames":["Xie"],"firstnames":["Li-Li"],"suffixes":[]},{"propositions":[],"lastnames":["Wu"],"firstnames":["Xiu-Yun"],"suffixes":[]}],"date-added":"2021-08-17 00:00:00 +0000","date-modified":"2021-08-17 00:00:00 +0000","doi":"10.3233/JIFS-182500","journal":"Journal of Intelligent & Fuzzy Systems","keywords":"inquisitive logic","pages":"7711-7723","title":"M-fuzzifying basic inquisitive semantics","url":"https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500","year":"2019","bdsk-url-1":"https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500","bibtex":"@article{XieWu:19,\n\tabstract = {The basic system of inquisitive semantics (InqB) established by Groenendijk et al. is a general inquisitive semantic theory which doesn't concern fuzziness. To explain the fuzzy phenomena in natural languages, this paper extends InqB into the framework of M-fuzzifying setting and establishes a basic system of M-fuzzifying inquisitive semantics. To begin with, the notion of M-fuzzifying supporting mapping is defined, where M is a completely distributive lattice with an involution operator and each subset of the universal set of all possible worlds can be regarded as a support of any well-formed formula to some degree. Then the notions of M-fuzzifying entailment order, M-fuzzifying truth mappings, M-fuzzifying informative content mappings and M-fuzzifying inquisitive content mappings are introduced and their properties are discussed. Further, the degrees of assertiveness, informativeness, inquisitiveness and questioning of a well-formed formula are defined, by which the M-fuzzifying assertive projection operator and the M-fuzzifying questioning projection operator are introduced and characterized. Finally, a necessary and sufficient condition is obtained, where a well-formed formula is exactly the disjunction of its unique M-fuzzifying assertive projection and unique M-fuzzifying questioning projection.},\n\tauthor = {Xie, Li-Li and Wu, Xiu-Yun},\n\tdate-added = {2021-08-17 00:00:00 +0000},\n\tdate-modified = {2021-08-17 00:00:00 +0000},\n\tdoi = {10.3233/JIFS-182500},\n\tjournal = {Journal of Intelligent & Fuzzy Systems},\n\tkeywords = {inquisitive logic},\n\tpages = {7711-7723},\n\ttitle = {M-fuzzifying basic inquisitive semantics},\n\turl = {https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500},\n\tyear = {2019},\n\tBdsk-Url-1 = {https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500}}\n\n","author_short":["Xie, L.","Wu, X."],"key":"XieWu:19","id":"XieWu:19","bibbaseid":"xie-wu-mfuzzifyingbasicinquisitivesemantics-2019","role":"author","urls":{"Paper":"https://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs182500"},"keyword":["inquisitive logic"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"article","biburl":"https://projects.illc.uva.nl/inquisitivesemantics/assets/files/papers.bib","dataSources":["x2Aox4ZP7RsyuDjWX","LaLDs2mrYhQpgH6Lk"],"keywords":["inquisitive logic"],"search_terms":["fuzzifying","basic","inquisitive","semantics","xie","wu"],"title":"M-fuzzifying basic inquisitive semantics","year":2019,"downloads":2}