{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:22Z","timestamp":1762459942745,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030638818"},{"type":"electronic","value":"9783030638825"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63882-5_9","type":"book-chapter","created":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T14:08:03Z","timestamp":1605794883000},"page":"137-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reversal Fuzzy Switch Graphs"],"prefix":"10.1007","author":[{"given":"Suene","family":"Campos","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4991-9603","authenticated-orcid":false,"given":"Regivan","family":"Santiago","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5109-8066","authenticated-orcid":false,"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Figueiredo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,19]]},"reference":[{"key":"9_CR1","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69082-5","volume-title":"Fuzzy Implications","author":"M Baczynski","year":"2008","unstructured":"Baczynski, M., Jayaram, B.: Fuzzy Implications. Studies in Fuzziness and Soft Computing. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69082-5"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-32254-2_5","volume-title":"Mechanizing Mathematical Reasoning","author":"H Barringer","year":"2005","unstructured":"Barringer, H., Gabbay, D., Woods, J.: Temporal dynamics of support and attack networks: from argumentation to zoology. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 59\u201398. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32254-2_5"},{"key":"9_CR3","series-title":"Studies in Fuzziness and Soft Computing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73721-6","volume-title":"Aggregation Functions: A Guide for Practitioners","author":"G Beliakov","year":"2007","unstructured":"Beliakov, G., Pradera, A., Calvo, T.: Aggregation Functions: A Guide for Practitioners. Studies in Fuzziness and Soft Computing. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73721-6"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.ijar.2017.11.004","volume":"93","author":"A Cruz","year":"2018","unstructured":"Cruz, A., Bedregal, B., Santiago, R.H.N.: On the characterizations of fuzzy implications satisfying $$i(x, i(y, z))=i(i(x, y), i(x, z))$$. Int. J. Approximate Reasoning 93, 61\u2013276 (2018)","journal-title":"Int. J. Approximate Reasoning"},{"key":"9_CR5","volume-title":"Introdu\u00e7\u00e3o \u00e0 Mec\u00e2nica dos Fluidos","author":"RW Fox","year":"2004","unstructured":"Fox, R.W., McDonald, A.T., Pritchard, P.J.: Introdu\u00e7\u00e3o \u00e0 Mec\u00e2nica dos Fluidos, 6th edn. LTC, Rio de Janeiro (2004)","edition":"6"},{"issue":"1\u20134","key":"9_CR6","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10472-012-9316-8","volume":"66","author":"DM Gabbay","year":"2012","unstructured":"Gabbay, D.M., Marcelino, S.: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1\u20134), 131\u2013162 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-78127-1_17","volume-title":"Pillars of Computer Science","author":"DM Gabbay","year":"2008","unstructured":"Gabbay, D.M.: Introducing reactive Kripke semantics and arc accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 292\u2013341. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78127-1_17"},{"key":"9_CR8","unstructured":"Gabbay, D.M.: Reactive Kripke semantics and arc accessibility. In: Carnielli, W., Dionisio, F.M., Mateus, P. (eds.) Proceedings of CombLog 2004, pp. 7\u201320. Centre for Logic and Computation, University of Lisbon (2004)"},{"key":"9_CR9","series-title":"Trends in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"EP Klement","year":"2013","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Trends in Logic. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-94-015-9540-7"},{"key":"9_CR10","series-title":"Advances in Intelligent and Soft Computing","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-32366-X","volume-title":"First Course on Fuzzy Theory and Applications","author":"KH Lee","year":"2006","unstructured":"Lee, K.H.: First Course on Fuzzy Theory and Applications. Advances in Intelligent and Soft Computing. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-32366-X"},{"issue":"20","key":"9_CR11","first-page":"94","volume":"1","author":"J Marcos","year":"2013","unstructured":"Marcos, J., Bedregal, B., Callejas, C.: Actions of automorphisms on some classes of fuzzy bi-implications. Mathware Softcomput. Mag. 1(20), 94\u2013114 (2013)","journal-title":"Mathware Softcomput. Mag."},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ijar.2018.03.008","volume":"97","author":"J Pinheiro","year":"2018","unstructured":"Pinheiro, J., Bedregal, B., Santiago, R.H.N., Santos, H.: A study of (t, n)-implications and its use to construct a new class of fuzzy subsethood measure. Int. J. Approximate Reasoning 97, 1\u201316 (2018)","journal-title":"Int. J. Approximate Reasoning"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Santiago, R.H., Martins, A.M., Figueiredo, D.: Introducing fuzzy reactive graphs: a simple application on Biology. Soft Computing (2020)","DOI":"10.1007\/s00500-020-05353-1"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63882-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T01:23:25Z","timestamp":1619227405000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63882-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030638818","9783030638825"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63882-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"19 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ouro Preto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sbmf2020.ufop.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3 invited talks are also included. The symposium was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}