{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T16:11:08Z","timestamp":1681229468796},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1016\/s0165-0114(97)00044-4","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T17:25:26Z","timestamp":1049736326000},"page":"115-123","source":"Crossref","is-referenced-by-count":2,"title":["An extended Gentzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation"],"prefix":"10.1016","volume":"101","author":[{"given":"Osamu","family":"Morikawa","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0165-0114(97)00044-4_BIB1","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1002\/malq.19740201903","article-title":"The notion of logical consequence in the logic of inexact predicate","volume":"20","author":"Cleave","year":"1974","journal-title":"Zeitschrift Math. Logik grundlagen Math."},{"key":"10.1016\/S0165-0114(97)00044-4_BIB2","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","article-title":"Many-valued modal logics","volume":"15","author":"Fitting","year":"1991","journal-title":"Fundam. Inform."},{"key":"10.1016\/S0165-0114(97)00044-4_BIB3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","article-title":"Many-valued modal logics II","volume":"17","author":"Fitting","year":"1992","journal-title":"Fundam. Inform."},{"key":"10.1016\/S0165-0114(97)00044-4_BIB4","article-title":"Logics of time and computation, Center for the study of language and information","author":"Goldblat","year":"1992"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB5","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1305\/ndjfl\/1093635000","article-title":"Some modal logics based on a three-valued logic","volume":"30","author":"Morikawa","year":"1989","journal-title":"Notre Dame J. Formal Logic"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0165-0114(94)90348-4","article-title":"A sequential formulation of a logic based on fuzzy modalities","volume":"63","author":"Morikawa","year":"1994","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB7","series-title":"4th Internat. Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery","first-page":"44","article-title":"A fuzzy modal logic of Gentzen style","author":"Morikawa","year":"1996"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB8","series-title":"22nd Internat. Symp. on Multiple-Valued Logic","first-page":"460","article-title":"On a logic based on fuzzy modalities","author":"Nakamura","year":"1992"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0165-0114(91)90208-8","article-title":"A logic for fuzzy data analysis","volume":"39","author":"Nakamura","year":"1991","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB10","first-page":"475","article-title":"Logic of indiscernibility relation","volume":"33","author":"Orlowska","year":"1985","journal-title":"Bull. Polisch Academy of Sci. Math."},{"key":"10.1016\/S0165-0114(97)00044-4_BIB11","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","article-title":"Rough sets","volume":"11","author":"Pawlak","year":"1982","journal-title":"Int. J. Inform. Comput. Sci."},{"key":"10.1016\/S0165-0114(97)00044-4_BIB12","series-title":"Non-Standard Logics for Automated Reasoning","year":"1988"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB13","series-title":"Reasoning Under Incomplete Information in Artificial Intelligence","author":"Sombe","year":"1990"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB14","first-page":"271","article-title":"Many-valued logics of extended Gentzen style","author":"Takahashi","year":"1967","journal-title":"Sci. Rep. of Tokyo Kyoiku Daigaku Section A.9"},{"key":"10.1016\/S0165-0114(97)00044-4_BIB15","series-title":"Proof Theory","author":"Takeuchi","year":"1975"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011497000444?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011497000444?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T15:36:20Z","timestamp":1681227380000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011497000444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0165011497000444"],"URL":"https:\/\/doi.org\/10.1016\/s0165-0114(97)00044-4","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}