{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T02:56:48Z","timestamp":1648522608973},"reference-count":25,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"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":[[2002,7]]},"DOI":"10.1016\/s0165-0114(01)00164-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:03:10Z","timestamp":1027638190000},"page":"255-265","source":"Crossref","is-referenced-by-count":1,"title":["Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules"],"prefix":"10.1016","volume":"129","author":[{"given":"Alexej P.","family":"Pynko","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0165-0114(01)00164-6_BIB1","series-title":"Distributive Lattices","author":"Balbes","year":"1974"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB2","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"8","article-title":"A useful four-valued logic","author":"Belnap","year":"1977"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB3","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF01057656","article-title":"Fuzzy intuitionistic quantum logic","volume":"52","author":"Cattaneo","year":"1993","journal-title":"Stud. Logica"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB4","first-page":"221","article-title":"A regular sequent calculus for quantum logic in which \u2227 and \u2228 are dual","volume":"25","author":"Cutland","year":"1982","journal-title":"Logique et Anal. (N.S.)"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB5","article-title":"From basic logic to quantum logic with cut-elimination","volume":"12","author":"Faggian","year":"1997","journal-title":"Proc. Internat. Quantum Structures Association Berlin\u2019 96 Internat. J. Theoret. Phy. (special issue)"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB6","doi-asserted-by":"crossref","unstructured":"G. Gentzen, Untersuchungen \u00fcber das logische Schlie\u00dfen, Math. Z. 39 (1934) I 176\u2013210, II 405\u2013431.","DOI":"10.1007\/BF01201363"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB7","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","article-title":"L-fuzzy sets","volume":"18","author":"Goguen","year":"1967","journal-title":"J. Math. Anal. Appl."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB8","article-title":"Semantic analysis of orthologic, Mathematics of Modality, Computer Science Lecture Notes","volume":"1993","author":"Goldblatt","journal-title":"43"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB9","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","article-title":"Lattices with involution","volume":"87","author":"Kalman","year":"1958","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB10","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1007\/BF00262952","article-title":"Hedges: a study in meaning criteria and the logic of fuzzy concepts","volume":"2","author":"Lakoff","year":"1973","journal-title":"J. Philos. Logic"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","article-title":"Remarks on sentential logics","volume":"20","author":"\u0141o\u015b","year":"1958","journal-title":"Indaga. Math."},{"issue":"2","key":"10.1016\/S0165-0114(01)00164-6_BIB12","doi-asserted-by":"crossref","first-page":"339","DOI":"10.2307\/2273194","article-title":"Sequential method in quantum logic","volume":"45","author":"Nishimura","year":"1980","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB13","doi-asserted-by":"crossref","unstructured":"H. Nishimura, Proof theory for minimal quantum logic, Internat. J. Theoret. Phys. 33 (1994) I 103\u2013113, II 1427\u20131443.","DOI":"10.1007\/BF00670687"},{"issue":"3","key":"10.1016\/S0165-0114(01)00164-6_BIB14","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF00739999","article-title":"Bibliography on quantum logic and related structures","volume":"31","author":"Pavicic","year":"1992","journal-title":"Internat. J. Theoret. Phys."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB15","unstructured":"A.P. Pynko, A structural semantic approach to constructing propositional logical systems, preprint Pr-1815, Russian Academy of Sciences, Space Research Institute, Moscow, February 1992, 33pp (in Russian)."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB16","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1002\/malq.19950410403","article-title":"Characterizing Belnap's logic via De Morgan's laws","volume":"41","author":"Pynko","year":"1995","journal-title":"Math. Logic Quart."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB17","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","article-title":"Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions","volume":"9","author":"Pynko","year":"1999","journal-title":"J. Appl. Non-Classical Logics"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","article-title":"Definitional equivalence and algebraizability of generalized logical systems","volume":"98","author":"Pynko","year":"1999","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB19","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/S0165-0114(99)00152-9","article-title":"Fuzzy semantics for multiple-conclusion sequential calculi with structural rules","volume":"121","author":"Pynko","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"10.1016\/S0165-0114(01)00164-6_BIB20","doi-asserted-by":"crossref","first-page":"979","DOI":"10.2307\/2586685","article-title":"Basic logic: reflection, symmetry, visibility","volume":"65","author":"Sambin","year":"2000","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB21","series-title":"Multiple-Conclusion Logic","author":"Shoesmith","year":"1978"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB22","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/BF00674960","article-title":"Proof theory for minimal quantum logic: a remark","volume":"34","author":"Takano","year":"1995","journal-title":"Internat. J. Theoret. Phys."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB23","first-page":"133","article-title":"A Gentzen formulation without the cut rule for ortholattices","volume":"5","author":"Tamura","year":"1988","journal-title":"Kobe J. Math."},{"key":"10.1016\/S0165-0114(01)00164-6_BIB24","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"8","author":"Zadeh","year":"1965","journal-title":"Inform. and Control"},{"key":"10.1016\/S0165-0114(01)00164-6_BIB25","first-page":"112","article-title":"Entailment relations on logical matrices I","volume":"8","author":"Zygmunt","year":"1979","journal-title":"Bull. Section Logic Inst. Philos. Sociol. Pol. Acad. Sci."}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011401001646?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011401001646?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T01:49:03Z","timestamp":1580867343000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011401001646"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["S0165011401001646"],"URL":"https:\/\/doi.org\/10.1016\/s0165-0114(01)00164-6","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}