{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:24:29Z","timestamp":1742383469910},"reference-count":19,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1080\/11663081.1993.10510795","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:02:48Z","timestamp":1338364968000},"page":"39-71","source":"Crossref","is-referenced-by-count":10,"title":["Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus"],"prefix":"10.1080","volume":"3","author":[{"given":"Beata","family":"Konikowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00264250","volume":"21","author":"Barringer H.","year":"1984","journal-title":"Acta Informatica"},{"key":"CIT0002","unstructured":"Beth, E. W. 1959. \u201cThe Foundations of Mathematics. North-Holland\u201d."},{"key":"CIT0003","volume-title":"Computer assisted reasoning with MIZAR. Proc. of the Inter. Joint Conf. on Artificial Intelligence, Los Angeles","author":"Blair H.","year":"1985"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Blair, H. and Trybulec, A. 1985.Computer aided reasoning. In: Logic of Programs, Lecture Notes in Computer Science193Springer Verlag.","DOI":"10.1007\/3-540-15648-8_30"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Blikle, A. 1981. \u201cOn the development of correctly specified programs. IEEE Trans, on Soft. Engineering, SE-7, 519\u2013527\u201d.","DOI":"10.1109\/TSE.1981.231114"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"The clean termination of iterative programs. 1981. Vol. 16, 199\u2013217. Acta Informatica","DOI":"10.1007\/BF00261259"},{"key":"CIT0007","volume-title":"MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics. Lecture Notes in Computer Science, Vol. 288","author":"Blikle A.","year":"1985"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-1991-14402","volume":"14","author":"Blikle A.","year":"1991","journal-title":"Fundamenta Informaticae"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1002\/malq.19790251304","volume":"25","author":"Hogevijs A.","year":"1979","journal-title":"Zeitschrift f. Math. Logik u. Grundlagen d. Math."},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1002\/malq.19830290410","volume":"29","author":"Hogevijs A.","year":"1983","journal-title":"Zeitschrift f. Math. Logik u. Grundlagen d. Math."},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF00292109","volume":"24","author":"Hogevijs A.","year":"1987","journal-title":"Acta Informatica"},{"key":"CIT0012","unstructured":"Jones, C. B. 1986. \u201cSystematic Software Development using VDM. Prentice-Hall International Series in Computer Science\u201d."},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Jones, C. B. 1987. \u201cVDM proof obligations and their justifications. Proc. VDM Symp.\u201d. Vol. 1987, 260\u2013286. Springer Verlag. Lecture Notes in Computer Science, Vol. 252","DOI":"10.1007\/3-540-17654-3_15"},{"key":"CIT0014","unstructured":"Kleene, S. C. 1952. \u201cIntroduction to Metamathematics. North-Holland\u201d."},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Konikowska, B. 1991.Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. Proc. MFCS'91, Lecture Notes in Computer Science, Vol. 520277\u2013286. Springer Verlag.","DOI":"10.1007\/3-540-54345-7_71"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"411","DOI":"10.3233\/FI-1991-14403","volume":"14","author":"Konikowska B.","year":"1991","journal-title":"Fundamenta Informaticae"},{"key":"CIT0017","unstructured":"McCarthy, J. 1961. \u201cA basis for a mathematical theory of computation. Western Joint Conf.\u201d. Vol. 1967, 33\u201370. Later published in: Computer Programming and Formal Systems, North-Holland"},{"key":"CIT0018","unstructured":"Owe, O. 1985. \u201cAn approach to program reasoning based on first order logic for partial functions. Res. Rep. Institute of Informatics, University of Oslo, n\u00b0 89\u201d."},{"key":"CIT0019","unstructured":"Rasiowa, H. and Sikorski, R. 1963. \u201cThe Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw\u201d."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T12:54:47Z","timestamp":1642337687000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1993.10510795"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/11663081.1993.10510795"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1993.10510795","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}