Handling inconsistencies in Z using quasi-classical logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2272, Issue , 2002, Pages 204-225

  Miarka, Ralph ^a   Derrick, John ^a   Boiten, Eerke ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION;

HANDLING INCONSISTENCIES; PARACONSISTENT LOGIC; QUASI-CLASSICAL LOGIC; Z SPECIFICATIONS;

COMPUTER CIRCUITS;

EID: 33745653499     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45648-1_11     Document Type: Conference Paper

References (26)

1. Abrial, J.-R. (1996). The B-Book: Assigning Programs to Meanings. Cambridge University Press.
2. Arthan, R. D. (1991). Formal Specification of a Proof Tool. In Prehn, S. and Toetenel, H., editors, Proceedings of Formal Software Development Methods (VDM’91), Lecture Notes in Computer Science 552, pages 356–370, Berlin, Germany. Springer.
3. Balzer, R. (1991). Tolerating Inconsistency. In Proceedings of the 13th International Conference on Software Engineering, pages 158–165. IEEE Computer Society Press/ACM Press.
4. 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–472, Heidelberg, New York. Physica-Verlag.
5. Batens, D. (2000). A Survey of Inconsistency-Adaptive Logics. In (Batens et al., 2000), pages 49–73.
6. Batens, D., Mortensen, C., Priest, G., and Bendegem, J.-P. V., editors (2000). Frontiers of Paraconsistent Logic. Research Studies Press Ltd., Baldock, Hertfordshire, England.
7. Beckert, B. (1997). Semantic Tableaux with Equality. Journal of Logic and Computation, 7(1):39–58.
8. 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–51, Berlin. Springer Verlag.
9. 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–75.
10. da Costa, N. C. (2000). Paraconsistent Mathematics. In (Batens et al., 2000), pages 165–179.
11. 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–578.
12. Fitting, M. C. (1996). First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer-Verlag, Berlin, 2nd edition.
13. 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–907.
14. Hunter, A. (1998). Paraconsistent Logic. In Besnard, P. and Hunter, A., editors, Reasoning with Actual and Potential Contradictions, Volume 2 of Handbook of Defeasible Reasoning and Uncertain Information (Gabbay, D. and Smets, Ph., editors), pages 13–44. Kluwer Academic Publishers, Dortrecht, The Netherlands.
15. Hunter, A. (2000). Reasoning with Contradictory Information Using Quasi-Classical Logic. Journal of Logic and Computation, 10(5):677–703.
16. 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–555. Springer Verlag.
17. Hunter, A. and Nuseibeh, B. (1997). Analysing Inconsistent Specifications. In Proceedings of the 3rd International Symposium on Requirements Engineering (RE’97), pages 78–86. Annapolis, USA, IEEE Computer Society Press.
18. Hunter, A. and Nuseibeh, B. (1998). Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ACM Transactions on Software Engineering and Methodology, 7(4):335–367.
19. 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–303, Berlin Heidelberg New York. Springer-Verlag Berlin.
20. Mortensen, C. (1995). Inconsistent Mathematics. Kluwer Academic Publishers Group, Dordrecht, The Netherlands.
21. Rescher, N. and Manor, R. (1970). On Inference from Inconsistent Premisses. Theory and Decision, 1:179–217.
22. Saaltink, M. (1997). The Z/EVES User’s Guide. Technical Report TR-97-5493-06, ORA Canada, 267 Richmond Road, Suite 100, Ottawa, Canada.
23. 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–118, Grassau, Germany.
24. Smullyan, R. M. (1968). First-Order Logic, Volume 43 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, New York.
25. Valentine, S. H. (1998). Inconsistency and Undefinedness in Z– A Practical Guide. In Bowen, J. P., Fett, A., and Hinchey, M. G., editors, ZUM’98: The Formal Specification Notation, Lecture Notes in Computer Science 1493, pages 233–249, Berlin Heidelberg New York. Springer Verlag.
26. Woodcock, J. and Davies, J. (1996). Using Z - Specification, Refinement, and Proof. Prentice Hall International Series in Computer Science. Prentice Hall Europe. Online: http://softeng.comlab.ox.ac.uk/usingz/ (last access 18/10/2001).