{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T07:55:47Z","timestamp":1648799747169},"reference-count":21,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2017,5]]},"abstract":"<jats:p> In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, this paper introduces the notion of [Formula: see text]-sets by considering the tests from an abstract [Formula: see text]-algebra. When the [Formula: see text]-algebra is an ada, the axiomatization is shown to be complete by obtaining a subdirect representation of [Formula: see text]-sets. Further, this paper considers the equality test with the if-then-else construct and gives a complete axiomatization through the notion of agreeable [Formula: see text]-sets. <\/jats:p>","DOI":"10.1142\/s0218196717500138","type":"journal-article","created":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T02:51:23Z","timestamp":1490064683000},"page":"273-297","source":"Crossref","is-referenced-by-count":3,"title":["Axiomatization of <tt>if-then-else<\/tt> over possibly non-halting programs and tests"],"prefix":"10.1142","volume":"27","author":[{"given":"Gayatri","family":"Panicker","sequence":"first","affiliation":[{"name":"Department of Mathematics, Indian Institute of Technology Guwahati, Guwahati, India"}]},{"given":"K. V.","family":"Krishna","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Indian Institute of Technology Guwahati, Guwahati, India"}]},{"given":"Purandar","family":"Bhaduri","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Guwahati, Guwahati, India"}]}],"member":"219","published-online":{"date-parts":[[2017,3,20]]},"reference":[{"key":"S0218196717500138BIB001","doi-asserted-by":"publisher","DOI":"10.2307\/2214285"},{"key":"S0218196717500138BIB002","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190851"},{"key":"S0218196717500138BIB003","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.1995.10510855"},{"key":"S0218196717500138BIB004","doi-asserted-by":"publisher","DOI":"10.1137\/0212047"},{"key":"S0218196717500138BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-5841-9_3"},{"key":"S0218196717500138BIB007","doi-asserted-by":"publisher","DOI":"10.1137\/0216025"},{"key":"S0218196717500138BIB008","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190256"},{"key":"S0218196717500138BIB009","first-page":"158","author":"Heyting A.","year":"1930","journal-title":"Sitzungsber. Preuss. Akad. Wiss"},{"key":"S0218196717500138BIB011","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196709005354"},{"key":"S0218196717500138BIB012","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2014.08.007"},{"key":"S0218196717500138BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(81)90046-3"},{"key":"S0218196717500138BIB014","doi-asserted-by":"publisher","DOI":"10.2307\/2267778"},{"key":"S0218196717500138BIB015","volume-title":"Introduction to Metamathematics","author":"Kleene S. C.","year":"1952"},{"key":"S0218196717500138BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190447"},{"key":"S0218196717500138BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90052-J"},{"key":"S0218196717500138BIB019","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"S0218196717500138BIB020","doi-asserted-by":"publisher","DOI":"10.1137\/0216033"},{"key":"S0218196717500138BIB021","doi-asserted-by":"publisher","DOI":"10.1137\/0220049"},{"key":"S0218196717500138BIB022","doi-asserted-by":"publisher","DOI":"10.1145\/322092.322105"},{"key":"S0218196717500138BIB023","doi-asserted-by":"publisher","DOI":"10.1007\/s00233-010-9226-1"},{"key":"S0218196717500138BIB024","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050065"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196717500138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T21:30:58Z","timestamp":1565127058000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196717500138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,20]]},"references-count":21,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2017,3,20]]},"published-print":{"date-parts":[[2017,5]]}},"alternative-id":["10.1142\/S0218196717500138"],"URL":"https:\/\/doi.org\/10.1142\/s0218196717500138","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,20]]}}}