A typed logic of partial functions reconstructed classically
- 1 May 1994
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 31 (5) , 399-430
- https://doi.org/10.1007/bf01178666
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The logic MPLωPublished by Springer Nature ,2005
- Experiences in Developing a Proof Theory for VDM SpecificationsPublished by Springer Nature ,1994
- LPF and MPLω — A logical comparison of VDM SL and COLD-KPublished by Springer Nature ,1991
- A three-valued logic for software specification and validationPublished by Springer Nature ,1988
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- A logic covering undefinedness in program proofsActa Informatica, 1984
- Existence and Description in Formal Logic.The Journal of Symbolic Logic, 1973