{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:18:18Z","timestamp":1725549498758},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1109\/fskd.2010.5569752","type":"proceedings-article","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T17:47:14Z","timestamp":1284572834000},"page":"60-64","source":"Crossref","is-referenced-by-count":0,"title":["A propositional calculus formal deductive system SUBℒ with an involutive negation"],"prefix":"10.1109","author":[{"given":"Minxia","family":"Luo","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"h\u00e1jek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01268618"},{"key":"ref6","first-page":"225","article-title":"A Propositional Calculus Formal Deductive System UBL of Universal Logic","author":"luo","year":"2007","journal-title":"2007 International Conference on Life System Modeling and Simulation(LSMS2007)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050006"},{"journal-title":"Universal Logical Syntax theory","year":"2010","author":"luo","key":"ref8"},{"journal-title":"Universal Logics Principle","year":"2001","author":"he","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2307\/2964753"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1958-0094299-1"}],"event":{"name":"2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","start":{"date-parts":[[2010,8,10]]},"location":"Yantai, China","end":{"date-parts":[[2010,8,12]]}},"container-title":["2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5562238\/5569595\/05569752.pdf?arnumber=5569752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T14:03:13Z","timestamp":1497880993000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5569752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/fskd.2010.5569752","relation":{},"subject":[],"published":{"date-parts":[[2010,8]]}}}