Partial-predicate logic in computer science
- 1 August 1987
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 24 (4) , 381-393
- https://doi.org/10.1007/bf00292109
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A logic covering undefinedness in program proofsActa Informatica, 1984
- A PARTIAL PREDICATE CALCULUS IN A TWO-VALUED LOGICMathematical Logic Quarterly, 1983
- On a Formalization of the Non‐Definedness NotionMathematical Logic Quarterly, 1979
- Introduction to Mathematical LogicPublished by Springer Nature ,1973