{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:25:41Z","timestamp":1760171141557,"version":"3.37.3"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"24","license":[{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11531009"],"award-info":[{"award-number":["11531009"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s00500-019-04257-z","type":"journal-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T14:02:42Z","timestamp":1565013762000},"page":"12951-12960","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The properties of $$\\models $$-filters of a topological system"],"prefix":"10.1007","volume":"23","author":[{"given":"Tao","family":"Wu","sequence":"first","affiliation":[]},{"given":"Bin","family":"Zhao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,5]]},"reference":[{"key":"4257_CR1","unstructured":"Abramsky S (1987) Domain theory and the logic of observable properties. PhD thesis, Queen Mary College, University of London"},{"key":"4257_CR2","doi-asserted-by":"publisher","first-page":"1219","DOI":"10.1007\/s00500-012-0808-6","volume":"16","author":"RA Borzooei","year":"2012","unstructured":"Borzooei RA, Rezaei GR, Kuhestani N (2012) Separation axioms in (semi)topological quotient BL-algebras. Soft Comput 16:1219\u20131227","journal-title":"Soft Comput"},{"key":"4257_CR3","doi-asserted-by":"publisher","first-page":"1681","DOI":"10.1007\/s00500-012-0852-2","volume":"16","author":"RA Borzooei","year":"2012","unstructured":"Borzooei RA, Rezaei GR (2012) Metrizability on (semi)topological BL-algebras. Soft Comput 16:1681\u20131690","journal-title":"Soft Comput"},{"key":"4257_CR4","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.fss.2011.07.001","volume":"192","author":"JT Denniston","year":"2012","unstructured":"Denniston JT, Melon A, Rodabaugh SE (2012) Interweaving algebra and topology: lattice-valued topological systems. Fuzzy Sets Syst 192:58\u2013103","journal-title":"Fuzzy Sets Syst"},{"key":"4257_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.fss.2015.08.009","volume":"298","author":"JT Denniston","year":"2016","unstructured":"Denniston JT, Melon A, Rodabaugh SE, Solovyov SA (2016) Topological systems as a framework for institutions. Fuzzy Sets Syst 298:91\u2013108","journal-title":"Fuzzy Sets Syst"},{"key":"4257_CR6","volume-title":"General topology","author":"R Engelking","year":"1977","unstructured":"Engelking R (1977) General topology. Panstwowe Wgdawnictwo Naukowe, Warszawa"},{"key":"4257_CR7","doi-asserted-by":"publisher","first-page":"455","DOI":"10.2989\/16073606.2014.894677","volume":"37","author":"C Guido","year":"2014","unstructured":"Guido C, Solovyov SA (2014) Topological systems versus attachment relations. Quaest Math 37:455\u2013484","journal-title":"Quaest Math"},{"key":"4257_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht"},{"key":"4257_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1002\/malq.200610035","volume":"53","author":"M Haveshki","year":"2007","unstructured":"Haveshki M, Eslami E, Saeid AB (2007) A topology induced by uniformity on BL-algebras. Math Log Q 53:162\u2013169","journal-title":"Math Log Q"},{"key":"4257_CR10","doi-asserted-by":"publisher","first-page":"382","DOI":"10.2478\/BF02475217","volume":"3","author":"L Leu\u015ftean","year":"2003","unstructured":"Leu\u015ftean L (2003) The prime and maximal spectra and the reticulation of BL-algebras. Cent Eur J Math 3:382\u2013397","journal-title":"Cent Eur J Math"},{"key":"4257_CR11","first-page":"795","volume":"51","author":"QJ Luo","year":"2008","unstructured":"Luo QJ (2008) Topological properties of prime filters in R$$_{0}$$-algebras. Acta Math Sin 51:795\u2013802","journal-title":"Acta Math Sin"},{"key":"4257_CR12","first-page":"9","volume":"41","author":"NN Ma","year":"2013","unstructured":"Ma NN, Zhao B (2013) The spatialization and Q-localification of a quantale system. J Shaanxi Norm Univ Natural Sci Edit 41:9\u201314 (in Chinese)","journal-title":"J Shaanxi Norm Univ Natural Sci Edit"},{"key":"4257_CR13","doi-asserted-by":"publisher","first-page":"4773","DOI":"10.1007\/s00500-015-2027-4","volume":"20","author":"R Noor","year":"2016","unstructured":"Noor R, Srivastava AK (2016) On topological systems. Soft Comput 20:4773\u20134778","journal-title":"Soft Comput"},{"key":"4257_CR14","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1360\/02yf9003","volume":"45","author":"DW Pei","year":"2002","unstructured":"Pei DW, Wang GJ (2002) The completeness and applications of formal system $$L^{\\ast }$$. Sci China F 45:40\u201350","journal-title":"Sci China F"},{"key":"4257_CR15","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1007\/s00500-009-0485-2","volume":"14","author":"SA Solovyov","year":"2010","unstructured":"Solovyov SA (2010) Variable-basis topological systems versus variable-basis topological spaces. Soft Comput 14:1059\u20131068","journal-title":"Soft Comput"},{"key":"4257_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2013\/506275","volume":"2013","author":"SA Solovyov","year":"2013","unstructured":"Solovyov SA (2013) Lattice-valued topological systems as a framework for lattice-valued formal concept analysis. J Math 2013:1\u201333","journal-title":"J Math"},{"key":"4257_CR17","volume-title":"Mathematics behind fuzzy logic","author":"E Turunen","year":"1999","unstructured":"Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, Heidelberg"},{"key":"4257_CR18","volume-title":"Topology via logic","author":"SJ Vickers","year":"1989","unstructured":"Vickers SJ (1989) Topology via logic. Cambridge University Press, Cambridge"},{"key":"4257_CR19","volume-title":"An introduction to mathematical logic and resoulation principle","author":"GJ Wang","year":"2003","unstructured":"Wang GJ (2003) An introduction to mathematical logic and resoulation principle. Science in China Press, Beijing (in Chinese)"},{"key":"4257_CR20","volume-title":"Theory of L-fuzzy topological spaces","author":"GJ Wang","year":"1988","unstructured":"Wang GJ (1988) Theory of L-fuzzy topological spaces. Shaanxi Normal University Press, Xi\u2019an"},{"key":"4257_CR21","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0165-0114(92)90308-Q","volume":"47","author":"GJ Wang","year":"1992","unstructured":"Wang GJ (1992) Theory of topological molecular lattice. Fuzzy Sets Syst 47:351\u2013376","journal-title":"Fuzzy Sets Syst"},{"key":"4257_CR22","first-page":"995","volume":"40","author":"HB Wu","year":"2012","unstructured":"Wu HB, Shi HJ (2012) Heyting system and its representation by H-spatilization. Acta Electron Sin 40:995\u2013999 (in Chinese)","journal-title":"Acta Electron Sin"},{"key":"4257_CR23","first-page":"1084","volume":"55","author":"T Wu","year":"2017","unstructured":"Wu T, Wu HB (2017) Embedding of quantale system. J Jilin Univ Sci Edit 55:1084\u20131088 (in Chinese)","journal-title":"J Jilin Univ Sci Edit"},{"key":"4257_CR24","first-page":"47","volume":"53","author":"T Wu","year":"2017","unstructured":"Wu T, Wu HB (2017) Properties of Heyting system and its H-spatilization. Comput Eng Appl 53:47\u201350 (in Chinese)","journal-title":"Comput Eng Appl"},{"key":"4257_CR25","first-page":"121","volume":"32","author":"T Wu","year":"2018","unstructured":"Wu T, Wu HB (2018) The properties of quantale system and its subsystem. Fuzzy Syst Math 32:121\u2013127 (in Chinese)","journal-title":"Fuzzy Syst Math"},{"key":"4257_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.fss.2017.10.011","volume":"350","author":"J Yang","year":"2018","unstructured":"Yang J, Xin XL, He PF (2018) Notes on topological BL-algebras. Fuzzy Sets Syst 350:33\u201340","journal-title":"Fuzzy Sets Syst"},{"key":"4257_CR27","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.fss.2014.11.014","volume":"289","author":"O Zahiri","year":"2016","unstructured":"Zahiri O, Borzooei RA (2016) Topology on BL-algebras. Fuzzy Sets Syst 289:137\u2013150","journal-title":"Fuzzy Sets Syst"},{"key":"4257_CR28","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.fss.2011.03.002","volume":"178","author":"JL Zhang","year":"2011","unstructured":"Zhang JL (2011) Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras. Fuzzy Sets Syst 178:38\u201353","journal-title":"Fuzzy Sets Syst"},{"key":"4257_CR29","volume-title":"Introduction to frames and continuous lattices","author":"CY Zheng","year":"2000","unstructured":"Zheng CY, Fan L, Cui HB (2000) Introduction to frames and continuous lattices. Capital Normal University Press, Beijing"},{"key":"4257_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2010.09.005","volume":"162","author":"HJ Zhou","year":"2011","unstructured":"Zhou HJ, Zhao B (2011) Stone-like representation theorems and three-valued filters in R$$_{0}$$-algebras(nilpotent minimum algebras). Fuzzy Sets Syst 162:1\u201326","journal-title":"Fuzzy Sets Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-019-04257-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-019-04257-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-019-04257-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T18:10:19Z","timestamp":1721585419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-019-04257-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,5]]},"references-count":30,"journal-issue":{"issue":"24","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["4257"],"URL":"https:\/\/doi.org\/10.1007\/s00500-019-04257-z","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2019,8,5]]},"assertion":[{"value":"5 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}