{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:58:57Z","timestamp":1743058737825,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031773815"},{"type":"electronic","value":"9783031773822"}],"license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-77382-2_2","type":"book-chapter","created":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T19:26:51Z","timestamp":1732562811000},"page":"22-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Paraconsistency for\u00a0the\u00a0Working Software Engineer (Extended Abstract)"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5037-2588","authenticated-orcid":false,"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,26]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1093\/logcom\/exp072","volume":"20","author":"JC Agudelo","year":"2010","unstructured":"Agudelo, J.C., Carnielli, W.A.: Paraconsistent machines and their relation to quantum computing. J. Log. Comput. 20(2), 573\u2013595 (2010)","journal-title":"J. Log. Comput."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Akama, S. (ed.): Towards Paraconsistent Engineering. Intelligent Systems Reference Library, Springer, Cham (2016)","DOI":"10.1007\/978-3-319-40418-9"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45758-5_5","volume-title":"Foundations of Information and Knowledge Systems","author":"S de Amo","year":"2002","unstructured":"de Amo, S., Carnielli, W.A., Marcos, J.: A logical framework for integrating inconsistent information in multiple databases. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 67\u201384. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45758-5_5"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Barbosa, L.S., Madeira, A.: Capturing qubit decoherence through paraconsistent transition systems. In: Chiba, S., Cong, Y., Boix, E.G. (eds.) Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023, pp. 109\u2013110. ACM (2023)","DOI":"10.1145\/3594671.3594689"},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"151","DOI":"10.26686\/ajl.v15i2.4860","volume":"15","author":"E Barrio","year":"2018","unstructured":"Barrio, E., Re, B.D.: Paraconsistency and its philosophical interpretations. Australas. J. Log. 15(2), 151\u2013170 (2018)","journal-title":"Australas. J. Log."},{"issue":"1\u20132","key":"2_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.07.019","volume":"327","author":"F Bartels","year":"2004","unstructured":"Bartels, F., Sokolova, A., de Vink, E.P.: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1\u20132), 3\u201322 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR7","unstructured":"Baskent, C.: Public Announcements, Topology and Paraconsistency. In: Informal Proceedings of LOFT Conference 2014. HAL-01094782, Bregen, Norway (2014)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A Useful Four-Valued Logic, pp. 5\u201337. Springer Netherlands, Dordrecht (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"2_CR9","unstructured":"Bergstra, J.A., Middelburg, C.A.: Contradiction-tolerant process algebra with propositional signals. CoRR abs\/1508.06899 (2015). http:\/\/arxiv.org\/abs\/1508.06899"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.ic.2011.12.002","volume":"211","author":"F Bonchi","year":"2012","unstructured":"Bonchi, F., Bonsangue, M.M., Boreale, M., Rutten, J.J.M.M., Silva, A.: A coalgebraic perspective on linear weighted automata. Inf. Comp. 211, 77\u2013105 (2012). https:\/\/doi.org\/10.1016\/j.ic.2011.12.002","journal-title":"Inf. Comp."},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.O.: On the minimum many-valued modal logic over a finite residuated lattice. J. Logic Comput. 21(5), 739\u2013790 (2009). https:\/\/doi.org\/10.1093\/logcom\/exp062","DOI":"10.1093\/logcom\/exp062"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Coniglio, M.E., ao Marcos, J.: Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp. 1\u201393. Springer (2007)","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Coniglio, M.E.: Paraconsistent Logic: Consistency, Contradiction and Negation, Logic, Epistemology, and the Unity of Science Series, vol.\u00a040. Springer (2016)","DOI":"10.1007\/978-3-319-33205-5"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1007\/BF01889304","volume":"19","author":"MLD Chiara","year":"1989","unstructured":"Chiara, M.L.D., Giuntini, R.: Paraconsistent quantum logics. Found. Phys. 19, 891\u2013904 (1989)","journal-title":"Found. Phys."},{"issue":"1\u20132","key":"2_CR15","first-page":"55","volume":"125","author":"MLD Chiara","year":"2000","unstructured":"Chiara, M.L.D., Giuntini, R.: Paraconsistent ideas in quantum logic. Synth. 125(1\u20132), 55\u201368 (2000)","journal-title":"Paraconsistent ideas in quantum logic. Synth."},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1093\/comjnl\/bxp004","volume":"54","author":"C C\u00eerstea","year":"2011","unstructured":"C\u00eerstea, C., Kurz, A., Pattinson, D., Schr\u00f6der, L., Venema, Y.: Modal logics are coalgebraic. Comput. J. 54(1), 31\u201341 (2011)","journal-title":"Comput. J."},{"key":"2_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2023.100870","volume":"133","author":"D Costa","year":"2023","unstructured":"Costa, D., Figueiredo, D., Martins, M.A.: Relation-changing models meet paraconsistency. J. Log. Algebraic Methods Program. 133, 100870 (2023)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"2_CR18","unstructured":"da\u00a0Costa, N.: Nota s\u00f4bre o conceito de contradi\u00e7\u00e3o (in portuguese with english summary). Anu\u00e1rio da Sociedade Paranaense de Matem\u00e1tica 1 (1958)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N da Costa","year":"1974","unstructured":"da Costa, N.: On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Formal Logic"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1007\/BF00671484","volume":"30","author":"N da Costa","year":"1991","unstructured":"da Costa, N., Doria, F.A.: Undecidability and incompleteness in classical mechanics. Int. J. Theor. Phys. 30, 1041\u20131073 (1991)","journal-title":"Int. J. Theor. Phys."},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01058531","volume":"54","author":"N da Costa","year":"1995","unstructured":"da Costa, N., Doria, F.A.: On ja\u015bkowski\u2019s discussive logic. Stud. Logica. 54(4), 33\u201360 (1995)","journal-title":"On ja\u015bkowski\u2019s discussive logic. Stud. Logica."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Cruz, A., Madeira, A., Barbosa, L.S.: A logic for paraconsistent transition systems. In: Indrzejczak, A., Zawidzki, M. (eds.) Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, \u0141\u00f3d\u017a, Poland, 14-18 March 2022. EPTCS, vol.\u00a0358, pp. 270\u2013284 (2022)","DOI":"10.4204\/EPTCS.358.0"},{"key":"2_CR23","unstructured":"Cruz, A., Madeira, A., Barbosa, L.S.: Paraconsistent transition systems. In: Nantes-Sobrinho, D., Fontaine, P. (eds.) Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022. EPTCS, vol.\u00a0376, pp. 3\u201315 (2022)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Stepwise development of paraconsistent processes. In: David, C., Sun, M. (eds.) Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings. LNCS, vol. 13931, pp. 327\u2013343. Springer (2023)","DOI":"10.1007\/978-3-031-35257-7_20"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Structured specification of paraconsistent transition systems. In: Hojjat, H., \u00c1brah\u00e1m, E. (eds.) Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers. LNCS, vol. 14155, pp. 1\u201317. Springer (2023)","DOI":"10.1007\/978-3-031-42441-0_1"},{"key":"2_CR26","unstructured":"Cunha, J., Madeira, A., Barbosa, L.S.: Paraconsistent transition structures: compositional principles and a modal logic. Mathematical Structures in Computer Science (2024 (in print))"},{"issue":"11","key":"2_CR27","doi-asserted-by":"publisher","first-page":"1397","DOI":"10.4236\/jmp.2011.211172","volume":"2","author":"JS Filho","year":"2011","unstructured":"Filho, J.S.: Paraconsistent annotated logic in analysis of physical systems: Introducing the paraquantum h$$\\psi $$ factor of quantization. J. Mod. Phys. 2(11), 1397\u20131409 (2011)","journal-title":"J. Mod. Phys."},{"key":"2_CR28","unstructured":"Filho, J.S.: An introduction to paraconsistent integral differential calculus: with application examples. Appl. Math. 5(6) (2014)"},{"key":"2_CR29","unstructured":"Goertzel, B.: Paraconsistent foundations for quantum probability. CoRR abs\/2101.07498 (2021). https:\/\/arxiv.org\/abs\/2101.07498"},{"issue":"1","key":"2_CR30","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"ao I.\u00a0Silva\u00a0Filho, J.: Undulatory theory with paraconsistent logic (part i): quantum logical model with two wave functions. J. Quantum Inf. Sci. 6(3) (2016)","DOI":"10.4236\/jqis.2016.63012"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation, Cambridge Tracts in Th. Comp. Sc., vol.\u00a059. Cambridge Univ. Press (2016)","DOI":"10.1017\/CBO9781316823187"},{"issue":"2","key":"2_CR33","first-page":"143","volume":"20","author":"S Jaskowski","year":"1969","unstructured":"Jaskowski, S.: Propositional calculus for contradictory deductive systems (communicated at the meeting of march 19, 1948). Studia Logica Int. J. Symbolic Logic 20(2), 143\u2013160 (1969)","journal-title":"Studia Logica Int. J. Symbolic Logic"},{"key":"2_CR34","first-page":"3","volume":"52","author":"N Kamide","year":"2017","unstructured":"Kamide, N.: Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Rep. Math. Logic 52, 3\u201344 (2017)","journal-title":"Rep. Math. Logic"},{"issue":"38","key":"2_CR35","doi-asserted-by":"publisher","first-page":"5070","DOI":"10.1016\/j.tcs.2011.04.023","volume":"412","author":"C Kupke","year":"2011","unstructured":"Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: An overview. Theor. Comput. Sci. 412(38), 5070\u20135094 (2011)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"2_CR36","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1093\/logcom\/exn094","volume":"20","author":"A Kurz","year":"2010","unstructured":"Kurz, A., Palmigiano, A., Venema, Y.: Coalgebra and logic: A brief overview. J. Log. Comput. 20(5), 985\u2013990 (2010)","journal-title":"J. Log. Comput."},{"key":"2_CR37","unstructured":"\u0141ukasiewicz, J.: O zasadzie sprzeczno\u015bci u Arystotelesa (On the principle of contradiction in Aristotle). Polska Akademia Umiej\u00e9tno\u015bci (1910)"},{"issue":"3\u20134","key":"2_CR38","first-page":"285","volume":"22","author":"T Mossakowski","year":"2003","unstructured":"Mossakowski, T., Haxthausen, A.E., Sannella, D., Tarlecki, A.: Casl - the common algebraic specification language: Semantics and proof theory. Comput. Artif. Intell. 22(3\u20134), 285\u2013321 (2003)","journal-title":"Comput. Artif. Intell."},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistency and dialetheism. In: Gabbay, D.M., Woods, J. (eds.) The Many Valued and Nonmonotonic Turn in Logic, Handbook of the History of Logic, vol.\u00a08, pp. 129\u2013204. Elsevier (2007)","DOI":"10.1016\/S1874-5857(07)80006-9"},{"key":"2_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66086-8","volume-title":"Thinking About Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasiliev","author":"V Raspa","year":"2017","unstructured":"Raspa, V.: Thinking About Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasiliev. Springer Verlag, Cham, Switzerland (2017)"},{"issue":"1","key":"2_CR41","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249(1), 3\u201380 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer (2012)","DOI":"10.1007\/978-3-642-17336-3"},{"key":"2_CR43","unstructured":"Severo, F.: The spirit of contradiction (2019), https:\/\/www.youtube.com\/watch?v=8gKKabtLA_U&t=10s"},{"issue":"3","key":"2_CR44","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1080\/11663081.2016.1225487","volume":"26","author":"EG de Souza","year":"2016","unstructured":"de Souza, E.G., Costa-Leite, A., Dias, D.H.B.: On a paraconsistentization functor in the category of consequence structures. J. Appl. Non-Classical Logics 26(3), 240\u2013250 (2016)","journal-title":"J. Appl. Non-Classical Logics"},{"issue":"2","key":"2_CR45","first-page":"461","volume":"1","author":"RR Test","year":"2015","unstructured":"Test, R.R.: The cost of consistency: Information economy in paraconsistent belief revision. South American Journal of Logic 1(2), 461\u2013480 (2015)","journal-title":"South American Journal of Logic"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-77382-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T20:02:13Z","timestamp":1732564933000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-77382-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"ISBN":["9783031773815","9783031773822"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-77382-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"26 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}