{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:38:04Z","timestamp":1729643884082,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/fuzz-ieee.2017.8015625","type":"proceedings-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T16:55:37Z","timestamp":1503593737000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Standard completeness for extensions of IMTL"],"prefix":"10.1109","author":[{"given":"Paolo","family":"Baldi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesca","family":"Gulisano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"103","author":"cintula","year":"2011","journal-title":"A general framework for mathematical fuzzy logic"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/j.apal.2009.01.012"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1023\/A:1016548805869"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"ref14","article-title":"Residuated lattices: an algebraic glimpse at substructural logics","author":"galatos","year":"2007","journal-title":"Studies in Logics and the Foundations of Mathematics"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","author":"h\u00e1jek","year":"1998","journal-title":"Metamathematics of Fuzzy Logic"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-540-77664-2_18"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1023\/A:1015122331293"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.2178\/jsl\/1191333844"},{"year":"2008","author":"metcalfe","journal-title":"Proof Theory for Fuzzy Logics","key":"ref19"},{"year":"2012","author":"burris","journal-title":"A Course in Universal Algebra","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.tcs.2015.07.014"},{"key":"ref6","first-page":"229","article-title":"From axioms to analytic rules in nonclassical logics","author":"ciabattoni","year":"0","journal-title":"IEEE Symposium on Logic in Computer Science LICS 2008"},{"key":"ref5","first-page":"441","article-title":"T-norm based logics with n-contraction","volume":"12","author":"ciabattoni","year":"2002","journal-title":"Neural Network World"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.tcs.2008.05.019"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/s00012-011-0160-1"},{"key":"ref2","article-title":"Standard Completeness: Proof-theoretic and algebraic methods","author":"baldi","year":"2015","journal-title":"Doctoral Dissertation TU Wien"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/BF01531058"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-642-04027-6_14"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/s00500-016-2420-7"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.2307\/2274139"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1023\/A:1016500922708"}],"event":{"name":"2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2017,7,9]]},"location":"Naples, Italy","end":{"date-parts":[[2017,7,12]]}},"container-title":["2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8011834\/8015374\/08015625.pdf?arnumber=8015625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T15:50:42Z","timestamp":1570031442000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8015625\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2017.8015625","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}