{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T00:08:30Z","timestamp":1770682110445,"version":"3.49.0"},"reference-count":18,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IFS"],"published-print":{"date-parts":[[2016,3,10]]},"DOI":"10.3233\/ifs-151987","type":"journal-article","created":{"date-parts":[[2016,3,16]],"date-time":"2016-03-16T13:50:08Z","timestamp":1458136208000},"page":"2181-2188","source":"Crossref","is-referenced-by-count":0,"title":["Lattice and metric completions of the classical logic metric space and a comparison1"],"prefix":"10.1177","volume":"30","author":[{"given":"Hui-Xian","family":"Shi","sequence":"first","affiliation":[{"name":"College of Mathematics and Information Science, Shaanxi Normal University, South Chang\u2019an Road, Yanta District, Xi\u2019an, P.R. China"}]},{"given":"Yong-Ming","family":"Li","sequence":"additional","affiliation":[{"name":"College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an, P.R. China"}]}],"member":"179","reference":[{"key":"10.3233\/IFS-151987_ref1","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF01898828","article-title":"Categorical characterization of the MacNeille completion","volume":"18","author":"Banaschewski","year":"1967","journal-title":"Arch Math"},{"key":"10.3233\/IFS-151987_ref2","first-page":"102","article-title":"Injective hulls in the category of distributive lattices","volume":"232","author":"Banaschewski","year":"1968","journal-title":"J Reine Angew Math"},{"key":"10.3233\/IFS-151987_ref3","volume-title":"Distributive Lattices","author":"Balbes","year":"1974"},{"key":"10.3233\/IFS-151987_ref4","volume-title":"Introduction to Lattices and Order","author":"Davey","year":"1990"},{"key":"10.3233\/IFS-151987_ref5","volume-title":"Logic for Mathematicians","author":"Hamliton","year":"1978"},{"key":"10.3233\/IFS-151987_ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"H>\u00e1jek","year":"1998"},{"key":"10.3233\/IFS-151987_ref7","volume-title":"Measure Theory","author":"Halmos","year":"1974"},{"key":"10.3233\/IFS-151987_ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1134-1","volume-title":"Topology","author":"J\u00e4nich","year":"1984"},{"key":"10.3233\/IFS-151987_ref9","first-page":"21","article-title":"D-posets","volume":"44","author":"K\u00f4pka","year":"1994","journal-title":"Math Slovaca"},{"key":"10.3233\/IFS-151987_ref10","volume-title":"General Topology","author":"Kelley","year":"1975"},{"key":"10.3233\/IFS-151987_ref11","first-page":"211","article-title":"Topological difference posets","volume":"47","author":"Palko","year":"1997","journal-title":"Math Slovaca"},{"key":"10.3233\/IFS-151987_ref12","doi-asserted-by":"crossref","first-page":"2230","DOI":"10.1007\/s11432-010-4098-2","article-title":"Lattice-valued modal propositional logic and its completeness","volume":"53","author":"Shi","year":"2010","journal-title":"Sci China Inform Sci"},{"key":"10.3233\/IFS-151987_ref13","doi-asserted-by":"crossref","first-page":"1106","DOI":"10.1360\/02ys9122","article-title":"Theory of truth degrees of propositions in two-valued logic","volume":"45","author":"Wang","year":"2002","journal-title":"Sci China Ser A"},{"key":"10.3233\/IFS-151987_ref14","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1002\/malq.200610007","article-title":"A topological characterization of consistency of logic theories in propositional logic","volume":"52","author":"Wang","year":"2006","journal-title":"Math Log Quart"},{"key":"10.3233\/IFS-151987_ref15","first-page":"841","article-title":"Divergency and consistency of logic theories in propositional logic with topological characterization","volume":"50","author":"Wang","year":"2007","journal-title":"Acta Math Sinica"},{"key":"10.3233\/IFS-151987_ref16","volume-title":"Introduction to Mathematical Logic and Resolution Principle","author":"Wang","year":"2009"},{"key":"10.3233\/IFS-151987_ref17","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.ins.2008.09.008","article-title":"Quantitative logic","volume":"179","author":"Wang","year":"2009","journal-title":"Inform Sci"},{"key":"10.3233\/IFS-151987_ref18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.fss.2011.09.002","article-title":"Generalized Bosbach and Rie\u010dan states based on relative negations in residuated lattices","volume":"187","author":"Zhou","year":"2012","journal-title":"Fuzzy Sets and Syst"}],"container-title":["Journal of Intelligent & Fuzzy Systems"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IFS-151987","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T06:53:37Z","timestamp":1770620017000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/IFS-151987"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,10]]},"references-count":18,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/ifs-151987","relation":{},"ISSN":["1064-1246","1875-8967"],"issn-type":[{"value":"1064-1246","type":"print"},{"value":"1875-8967","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,10]]}}}