On using conditional definitions in formal theories

DOI10.1007/3-540-45648-1_13MaRDI QIDQ4472186zbMATH OpenFDO

Authors Louis Mussat, Jean-Raymond Abrial

Publication date 3 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2272/22720242.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the concept of proof
• scientific article; zbMATH DE number 496219
• On the definition of ``formal deduction
• Conditional theories
• Reasoning with conditional axioms

Cited in

(8)

• A unification of probabilistic choice within a design-based model of reversible computation
• Spot the difference: a detailed comparison between B and Event-B
• Empowering the Event-B method using external theories
• Verifying B proof rules using deep embedding and automated theorem proving
• On the concept of proof
• Efficient Well-Definedness Checking
• Tautologies in formal logic
• The defective conditional in mathematics

This page was built for publication: On using conditional definitions in formal theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472186)