{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:47Z","timestamp":1725484607541},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_11","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"204-225","source":"Crossref","is-referenced-by-count":2,"title":["Handling Inconsistencies in Z Using Quasi-Classical Logic"],"prefix":"10.1007","author":[{"given":"Ralph","family":"Miarka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eerke","family":"Boiten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R. (1996). The B-Book: Assigning Programs to Meanings. Cambridge University Press.","DOI":"10.1017\/CBO9780511624162"},{"key":"11_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/3-540-54834-3_22","volume-title":"Formal Specification of a Proof Tool","author":"R. D. Arthan","year":"1991","unstructured":"Arthan, R. D. (1991). Formal Specification of a Proof Tool. In Prehn, S. and Toetenel, H., editors, Proceedings of Formal Software Development Methods (VDM\u2019 91), Lecture Notes in Computer Science 552, pages 356\u2013370, Berlin, Germany. Springer."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Balzer, R. (1991). Tolerating Inconsistency. In Proceedings of the 13th International Conference on Software Engineering, pages 158\u2013165. IEEE Computer Society Press \/ ACM Press.","DOI":"10.1109\/ICSE.1991.130638"},{"key":"11_CR4","first-page":"445","volume-title":"Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa","author":"D. Batens","year":"1999","unstructured":"Batens, D. (1999). Inconsistency-Adaptive Logics. In Orlowska, E., editor, Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Studies in fuzziness and soft computing, Volume 24, pages 445\u2013472, Heidelberg, New York. Physica-Verlag."},{"key":"11_CR5","unstructured":"Batens, D. (2000). A Survey of Inconsistency-Adaptive Logics. In (Batens et al., 2000), pages 49\u201373."},{"volume-title":"Frontiers of Paraconsistent Logic","year":"2000","key":"11_CR6","unstructured":"Batens, D., Mortensen, C., Priest, G., and Bendegem, J.-P. V., editors (2000). Frontiers of Paraconsistent Logic. Research Studies Press Ltd., Baldock, Hertfordshire, England."},{"issue":"1","key":"11_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1093\/logcom\/7.1.39","volume":"7","author":"B. Beckert","year":"1997","unstructured":"Beckert, B. (1997). Semantic Tableaux with Equality. Journal of Logic and Computation, 7(1):39\u201358.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Besnard, P. and Hunter, A. (1995). Quasi-Classical Logic: Non-Trivializable Classical Reasoning from Inconsistent Information. In Froidevaux, C. and Kohlas, J., editors, Proceedings of the ECSQARU European Conference on Symbolic and Quantitive Approaches to Reasoning and Uncertainty, Lecture Notes in Artificial Intelligence 946, pages 44\u201351, Berlin. Springer Verlag.","DOI":"10.1007\/3-540-60112-0_6"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0167-6423(99)00006-4","volume":"35","author":"E. A. Boiten","year":"1999","unstructured":"Boiten, E. A., Derrick, J., Bowman, H., and Steen, M. W. A. (1999). Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35(1):29\u201375.","journal-title":"Science of Computer Programming"},{"key":"11_CR10","unstructured":"da Costa, N. C. (2000). Paraconsistent Mathematics. In (Batens et al., 2000), pages 165\u2013179."},{"issue":"8","key":"11_CR11","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A. Finkelstein","year":"1994","unstructured":"Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., and Nuseibeh, B. (1994). Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering, 20(8):569\u2013578.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Fitting, M. C. (1996). First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer-Verlag, Berlin, 2nd edition.","DOI":"10.1007\/978-1-4612-2360-3"},{"issue":"11","key":"11_CR13","first-page":"906","volume":"24","author":"C. Ghezzi","year":"1998","unstructured":"Ghezzi, C. and Nuseibeh, B. (1998). Guest Editorial: Introduction to the Special Section: Managing Inconsistency in Software Development. IEEE Transactions on Software Engineering, 24(11):906\u2013907.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR14","first-page":"13","volume-title":"Reasoning with Actual and Potential Contradictions","author":"A. Hunter","year":"1998","unstructured":"Hunter, A. (1998). Paraconsistent Logic. In Besnard, P. and Hunter, A., editors, Reasoning with Actual and Potential Contradictions, Volume II of Handbook of Defeasible Reasoning and Uncertain Information (Gabbay, D. and Smets, Ph., editors), pages 13\u201344. Kluwer Academic Publishers, Dortrecht, The Netherlands."},{"issue":"5","key":"11_CR15","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"Hunter, A. (2000). Reasoning with Contradictory Information Using Quasi-Classical Logic. Journal of Logic and Computation, 10(5):677\u2013703.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR16","unstructured":"Hunter, A. (2001). A Semantic Tabeau Version of First-Order Quasi-Classical Logic. In Benferhat, S. and Besnard, P., editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings of the 6th European Conference, ECSQARU 2001, Toulouse, France, Lecture Notes in Artificial Intelligence 2143, pages 544\u2013555. Springer Verlag."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Hunter, A. and Nuseibeh, B. (1997). Analysing Inconsistent Specifications. In Proceedings of the 3rd International Symposium on Requirements Engineering (RE\u201997), pages 78\u201386. Annapolis, USA, IEEE Computer Society Press.","DOI":"10.1109\/ISRE.1997.566844"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter, A. and Nuseibeh, B. (1998). Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ACM Transactions on Software Engineering and Methodology, 7(4):335\u2013367.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"11_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/3-540-44525-0_17","volume-title":"Guards, Preconditions, and Refinement in Z","author":"R. Miarka","year":"2000","unstructured":"Miarka, R., Boiten, E., and Derrick, J. (2000). Guards, Preconditions, and Refinement in Z. In Bowen, J. P., Dunne, S., Galloway, A., and King, S., editors, ZB2000: Formal Specification and Development in Z and B \/ First International Conference of B and Z Users, Lecture Notes in Computer Science 1878, pages 286\u2013303, Berlin Heidelberg New York. Springer-Verlag Berlin."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Mortensen, C. (1995). Inconsistent Mathematics. Kluwer Academic Publishers Group, Dordrecht, The Netherlands.","DOI":"10.1007\/978-94-015-8453-1"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N. Rescher","year":"1970","unstructured":"Rescher, N. and Manor, R. (1970). On Inference from Inconsistent Premisses. Theory and Decision, 1:179\u2013217.","journal-title":"Theory and Decision"},{"key":"11_CR22","unstructured":"Saaltink, M. (1997). The Z\/EVES User\u2019s Guide. Technical Report TR-97-5493-06, ORA Canada, 267 Richmond Road, Suite 100, Ottawa, Canada."},{"key":"11_CR23","unstructured":"Schwanke, R. W. and Kaiser, G. E. (1988). Living with Inconsistency in Large Systems. In Proceedings of the International Workshop on Software Version and Configuration Control, pages 98\u2013118, Grassau, Germany."},{"key":"11_CR24","volume-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete","author":"R. M. Smullyan","year":"1968","unstructured":"Smullyan, R. M. (1968). First-Order Logic, Volume 43 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, New York."},{"key":"11_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BFb0056037","volume-title":"ZUM\u201998: The Formal Specification Notation","author":"S. H. Valentine","year":"1998","unstructured":"Valentine, S. H. (1998). Inconsistency and Undefinedness in Z-A Practical Guide. In Bowen, J. P., Fett, A., and Hinchey, M. G., editors, ZUM\u201998: The Formal Specification Notation, Lecture Notes in Computer Science 1493, pages 233\u2013249, Berlin Heidelberg New York. Springer Verlag."},{"key":"11_CR26","unstructured":"Woodcock, J. and Davies, J. (1996). Using Z-Specification, Refinement, and Proof. Prentice Hall International Series in Computer Science. Prentice Hall Europe. Online: \n                  http:\/\/softeng.comlab.ox.ac.uk\/usingz\/\n                  \n                 (last access 18\/10\/2001)."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T00:34:17Z","timestamp":1550363657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}