{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T16:17:33Z","timestamp":1649175453810},"reference-count":38,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510932","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:12:32Z","timestamp":1338365552000},"page":"27-66","source":"Crossref","is-referenced-by-count":10,"title":["Equational Reasoning in Non-Classical Logics"],"prefix":"10.1080","volume":"8","author":[{"given":"Marcelo","family":"Frias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ewa","family":"Orlowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","first-page":"180","volume-title":"Proceedings of Mathematical Foundations of Computer Science (MFCS'96), LNCS 1113, Springer-Verlag, Poland","author":"Baum G. A.","year":"1996"},{"key":"CIT0002","volume-title":"Reasoning with Incomplete Information. The Rough Set Approach.","author":"Buszkowski W."},{"key":"CIT0003","first-page":"341","volume-title":"University of California Publications in Mathematics. Ed. University of California","author":"Chin L. H.","year":"1951"},{"key":"CIT0004","volume-title":"Theoretical Computer Science","author":"Demri S.","year":"1996"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF01530788","volume":"12","author":"Demri S.","year":"1994","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"CIT0006","first-page":"17","volume-title":"Proceedings of SOFSEM '94","author":"Frias M. F.","year":"1994"},{"key":"CIT0007","unstructured":"Frias, M. F., Aguayo, N. G. and Novak, B. 1993.Proceedings of the XIX Latin American Conference on Informatics, Buenos Aires, Argentina, August.529\u2013554. \u201d Development of Graph Algorithms with Fork Algebras,\u201d"},{"key":"CIT0008","volume-title":"Abstracts of the Tenth Latin American Symposium on Mathematical Logic, Colombia","author":"Frias M. F.","year":"1995"},{"key":"CIT0009","unstructured":"Frias, M. F., Baum, G. A., Haeberer, A. M. and Veloso, P. A. 1993. \u201cA Representation Theorem for Fork Algebras,\u201d MCC. 29\/93, PUC-R.J, August\u201d. S."},{"key":"CIT0010","first-page":"64","volume-title":"Bull. Section of Logic, Polish Academy of Sciences","author":"Frias M. F.","year":"1995"},{"key":"CIT0011","first-page":"55","volume-title":"Proceedings of ADBIS'95","author":"Frias M. F."},{"key":"CIT0012","volume-title":"Abstracts of the Winter Meeting of the ASL","author":"Frias M. F."},{"key":"CIT0013","author":"Frias M. F.","year":"1996","journal-title":"Journal of the IGPL"},{"key":"CIT0014","first-page":"234","volume-title":"Proceedings of the Logic Colloquium '94, July, 1994, p. 51. Also in Bulletin of Symbolic Logic, vol.1, N.2","author":"Frias M. F.","year":"1995"},{"key":"CIT0015","unstructured":"Gries, D. 1995. \u201cEquational logic as a tool,\u201d LNCS 936, Springer-Verlag\u201d. 1\u201317."},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Gries, D. and Schneider, F. B. 1993. \u201cA Logical Approach to Discrete Math.\u201d Springer-Verlag\u201d.","DOI":"10.1007\/978-1-4757-3837-7"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1093\/jigpal\/3.5.791","volume":"3","author":"Gyuris V.","year":"1995","journal-title":"Journal of the IGPL"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic. Vol. II, D. Reidel Publishing Company","author":"Harel D.","year":"1984"},{"key":"CIT0019","volume-title":"Studies in Logic and the Foundations of Mathematics, vol.64, North-Holland","author":"Henkin L.","year":"1971"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1111\/j.1467-8640.1995.tb00034.x","volume":"11","author":"Herment M.","year":"1995","journal-title":"Computational Intelligence"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"127","DOI":"10.2307\/2372074","volume":"74","author":"J\u00f3nsson B.","year":"1952","journal-title":"American Journal of Mathematics"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"Kripke S.","year":"1963","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"CIT0023","volume-title":"Formal Systems and Recursive Functions. North Holland","author":"Kripke S.","year":"1965"},{"key":"CIT0024","doi-asserted-by":"crossref","first-page":"707","DOI":"10.2307\/1969375","volume":"51","author":"Lyndon R. C.","year":"1950","journal-title":"Annals of Mathematics"},{"key":"CIT0025","volume-title":"Ph.D. Thesis.","author":"Maddux R.","year":"1978"},{"key":"CIT0026","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1002\/malq.19890350405","volume":"35","author":"Maddux R.","year":"1989","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"CIT0027","author":"N\u00e9meti I.","journal-title":"Journal of the IGPL"},{"key":"CIT0028","series-title":"Algebraic Logic. Colloquia Mathematica Societatis Janos Bolyai","first-page":"443","volume":"54","author":"Orlowska E.","year":"1988"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"1425","DOI":"10.2307\/2275375","volume":"57","author":"Orlowska E.","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0030","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-015-8273-5_11","volume-title":"Philosophical Logic in Poland","author":"Orlowska E.","year":"1994"},{"key":"CIT0031","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-2798-3_5","volume-title":"Proof Theory of Modal Logics","author":"Orlowska E.","year":"1996"},{"key":"CIT0032","volume-title":"preprint of the Mathematical Institute of the Hungarian Academy of Sciences","volume":"1994","author":"Sain I.","year":"1994"},{"key":"CIT0033","volume-title":"EATCS Monographs on Theoretical Computer Science, Springer-Verlag","author":"Schmidt G.","year":"1993"},{"key":"CIT0034","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","author":"Tarski A.","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0035","first-page":"188","volume":"18","author":"Tarski A.","year":"1953","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0036","volume-title":"A.M.S. Coll. Pub.","author":"Tarski A.","year":"1987"},{"key":"CIT0037","first-page":"52","volume-title":"Bull. Section of Logic, Polish Acad. Sciences","author":"Veloso P. A.S.","year":"1991"},{"key":"CIT0038","first-page":"265","volume-title":"Abstracts of the Logic Colloquium '94, July, 1994, p. 127. Also in Bulletin of Symbolic Logic","author":"Veloso P. A.S.","year":"1995"}],"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":[[2019,6,29]],"date-time":"2019-06-29T07:08:04Z","timestamp":1561792084000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":38,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510932"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510932","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}