{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:28:31Z","timestamp":1759638511186},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_16","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"224-240","source":"Crossref","is-referenced-by-count":4,"title":["Kripke, Belnap, Urquhart and Relevant Decidability & Complexity"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Riche","sequence":"first","affiliation":[]},{"given":"Robert K.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Entailment I. The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment I. The Logic of Relevance and Necessity. Princeton Un. Press, Princeton (1975)"},{"key":"16_CR2","volume-title":"Entailment II. The Logic of Relevance and Necessity","author":"A.R. Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap, N.D., Dunn, J.M.: Entailment II. The Logic of Relevance and Necessity. Princeton Un. Press, Princeton (1992)"},{"key":"16_CR3","volume-title":"Gr\u00f6bner Bases. A Computational Approach to Commutative Algebra","author":"T. Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V., Kredel, H.: Gr\u00f6bner Bases. A Computational Approach to Commutative Algebra. Springer, New York (1993)"},{"key":"16_CR4","volume-title":"The Development of Mathematics","author":"E.T. Bell","year":"1945","unstructured":"Bell, E.T.: The Development of Mathematics. McGraw-Hill, New York (1945)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1002\/malq.19650110403","volume":"11","author":"N.D. Belnap","year":"1965","unstructured":"Belnap, N.D., Wallace, J.R.: A Decision Procedure for the System E\n                    I\n                   of Entailment with Negation. Zeitschr. f. math. Logik und Grundlagen d. Math.\u00a011, 277\u2013289 (1965)","journal-title":"Zeitschr. f. math. Logik und Grundlagen d. Math."},{"key":"16_CR6","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory, 3rd edn. Providence, AMS (1967)","edition":"3"},{"key":"16_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Springer, New York (1997)"},{"key":"16_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2181-2","volume-title":"Ideals, Varieties, and Algorithms","author":"D. Cox","year":"1992","unstructured":"Cox, D., Little, J., O\u2019Sheen, D.: Ideals, Varieties, and Algorithms. Springer, New York (1992)"},{"key":"16_CR9","unstructured":"Church, A.: The Weak Theory of Implication. In: Menne, A., et al. (eds.) Kontrolliertes Denken, Untersuchungen zum Logikkalk\u00fcl und zur Logik der Einzelwissenschaften, pp. 22\u201337. Karl Albert Verlag (1951)"},{"key":"16_CR10","unstructured":"Curry, H.B.: A Theory of Formal Deducibility, Ann Arbor (1950)"},{"key":"16_CR11","unstructured":"Curry, H.B.: Foundations of Mathematical Logic, New York (1963)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2268954","volume":"18","author":"H.B. Curry","year":"1953","unstructured":"Curry, H.B., Craig, W.: Review of [Ch51]. J. Symb. Logic\u00a018, 177\u2013178 (1953)","journal-title":"J. Symb. Logic"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L.E. Dickson","year":"1913","unstructured":"Dickson, L.E.: Finiteness of the Odd Perfect Primitive Abundant Numbers with n Distinct Prime Factors. Am. J. Math.\u00a035, 413\u2013422 (1913)","journal-title":"Am. J. Math."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00260740","volume":"21","author":"K. Do\u0161en","year":"1992","unstructured":"Dos\u0306en, K.: The First Axiomatization of Relevant Logic. J. Phil. Log.\u00a021, 339\u2013356 (1992)","journal-title":"J. Phil. Log."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Relevance Logic and Entailment. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, Dordrecht, D. Reidel, vol.\u00a0III, pp. 117\u2013224 (1986)","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"16_CR16","volume-title":"The Algebra of Invariants","author":"J.H. Grace","year":"1903","unstructured":"Grace, J.H., Young, A.: The Algebra of Invariants. Cambridge University Press, Cambridge (1903) (Repub. New York, Chelsea Pub. Comp.)"},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"2","author":"G. Higman","year":"1952","unstructured":"Higman, G.: Ordering by Divisibility in Abstract Algebras. Proc. London. Math. Soc.\u00a02, 326\u2013336 (1952)","journal-title":"Proc. London. Math. Soc."},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01208503","volume":"36","author":"D. Hilbert","year":"1890","unstructured":"Hilbert, D.: \u00dcber die Theorie des algebraischen Formen. Math. Annalen\u00a036, 473\u2013534 (1890)","journal-title":"Math. Annalen"},{"key":"16_CR19","volume-title":"Theorie der endlichen und unendlichen Graphen","author":"D. K\u00f6nig","year":"1936","unstructured":"K\u00f6nig, D.: Theorie der endlichen und unendlichen Graphen. Chelsea Pub. Comp, Repub. New York (1936)"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"324","DOI":"10.2307\/2964568","volume":"24","author":"S. Kripke","year":"1959","unstructured":"Kripke, S.: The Problem of Entailment (Abstract). J. Symb. Logic\u00a024, 324 (1959)","journal-title":"J. Symb. Logic"},{"key":"16_CR21","unstructured":"Meyer, R.K.: Improved Decision Procedures for Pure Relevant Logics (1973) (Unpublished)"},{"key":"16_CR22","unstructured":"Meyer, R.K.: Improved Decision Procedures for Pure Relevant Logics. t.a. A. Church\u2019s Festschrift"},{"issue":"1","key":"16_CR23","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01053025","volume":"53","author":"R.K. Meyer","year":"1994","unstructured":"Meyer, R.K., Ono, H.: The Finite Model Property for BCK and BCIW. Studia Logica\u00a053(1), 107\u2013118 (1994)","journal-title":"Studia Logica"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1080\/00048408212340551","volume":"60","author":"R.K. Meyer","year":"1982","unstructured":"Meyer, R.K., McRobbie, M.A.: Multisets and Relevant Implication I and II. Australasian J. of Philosophy\u00a060, 107\u2013139, 265-281 (1982)","journal-title":"Australasian J. of Philosophy"},{"key":"16_CR25","first-page":"263","volume":"35","author":"I.E. Orlov","year":"1928","unstructured":"Orlov, I.E.: The Calculus of Compatibility of Propositions (in Russian). Matematicheski\u012d sbornik\u00a035, 263\u2013286 (1928)","journal-title":"Matematicheski\u012d sbornik"},{"issue":"3","key":"16_CR26","doi-asserted-by":"publisher","first-page":"961","DOI":"10.2307\/2274585","volume":"53","author":"S.G. Simpson","year":"1988","unstructured":"Simpson, S.G.: Ordinal Numbers and the Hilbert Basis Theorem. J. Symb. Logic\u00a053(3), 961\u2013974 (1988)","journal-title":"J. Symb. Logic"},{"key":"16_CR27","volume-title":"Automated Theorem Proving in Non-Classical Logics","author":"P. Thistlewaite","year":"1988","unstructured":"Thistlewaite, P., McRobbie, M., Meyer, R.K.: Automated Theorem Proving in Non-Classical Logics. John Wiley, New York (1988)"},{"key":"16_CR28","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.2307\/2274261","volume":"40","author":"A. Urquhart","year":"1984","unstructured":"Urquhart, A.: The Undecidability of Entailment and Relevant Implication. J. Symb. Logic\u00a040, 1059\u20131073 (1984)","journal-title":"J. Symb. Logic"},{"key":"16_CR29","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/978-94-009-0681-5_5","volume-title":"Truth or Consequences, Essays in Honor of Nuel Belnap.","author":"A. Urquhart","year":"1990","unstructured":"Urquhart, A.: The Complexity of Decision Procedures in Relevance Logic. In: Dunn, J.M., Gupta, A. (eds.) Truth or Consequences, Essays in Honor of Nuel Belnap., pp. 61\u201376. Kluwer Academic Publishers, Dordrecht (1990)"},{"key":"16_CR30","unstructured":"Urquhart, A.: The Complexity of Decision Procedures in Relevance Logic II (t.a.)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:22:56Z","timestamp":1552638176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/10703163_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}