{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T22:27:02Z","timestamp":1648852022145},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1991,6]]},"DOI":"10.1007\/bf00370180","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:54Z","timestamp":1099439394000},"page":"173-179","source":"Crossref","is-referenced-by-count":6,"title":["On decision procedures for sentential logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Tomasz","family":"Skura","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02485420","volume":"7","author":"W.J. Blok","year":"1977","unstructured":"W.J. Blok, 179-01 varieties of Heyting algebras not generated by their finite members, Algebra Universalis 7(1977), 115?117.","journal-title":"Algebra Universalis"},{"key":"CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical Investigations in Heyting's Intuitionistic Logic","author":"D.M. Gabbay","year":"1981","unstructured":"D.M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, D. Reidel, Dordrecht 1981."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"R. Harrop, On the existence of finite models and decision procedures for propositional calculi, Proceedings of the Cambridge Philosophical Society 54(158), 1?13.","DOI":"10.1017\/S0305004100033120"},{"key":"CR4","first-page":"1029","volume":"195","author":"A.V. Kuznetsov","year":"1970","unstructured":"A.V. Kuznetsov and V.Y. Gerchiu, On superintuitionistic logics and finite approximability (in Russian), Doklady AN SSSR 195 (1970), 1029?1032.","journal-title":"Doklady AN SSSR"},{"key":"CR5","volume-title":"Aristotle's Syllogistic from the Standpoint of Modern Formal Logic","author":"J. ?ukasiewicz","year":"1951","unstructured":"J. ?ukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Clarendon Press, Oxford 1951."},{"key":"CR6","first-page":"30","volume":"3","author":"T. Prucnal","year":"1974","unstructured":"T. Prucnal and A. Wro?ski, An algebraic characterization of the notion of structural completeness, Bulletin of the Section of Logic 3(1974), 30?33.","journal-title":"Bulletin of the Section of Logic"},{"key":"CR7","first-page":"341","volume":"95","author":"M.O. Rabin","year":"1960","unstructured":"M.O. Rabin, Computable algebra, general theory and theory of computable fields, Transactions of the American Mathematical Society 95(1960), 341?360.","journal-title":"Transactions of the American Mathematical Society"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02121863","volume":"29","author":"J. S?upecki","year":"1971","unstructured":"J. S?upecki et al, Theory of rejected propositions I, Studia Logica 29(1971), 75?123.","journal-title":"Studia Logica"},{"key":"CR9","first-page":"67","volume":"3","author":"A. Wro?ski","year":"1974","unstructured":"A. Wro?ski, On cardinalities of matrices strongly adequate for the intuitionistic propositional logic, Reports on Mathematical Logic 3(1974), 67?72.","journal-title":"Reports on Mathematical Logic"},{"key":"CR10","first-page":"1203","volume":"151","author":"V.A. Yankov","year":"1963","unstructured":"V.A. Yankov, On the relationship between deducibility in the intuitionistic propositional calculus and finite implicational structures (in Russian), Doklady AN SSSR 151 (1963), 1203?1204.","journal-title":"Doklady AN SSSR"},{"key":"CR11","first-page":"69","volume":"8","author":"J. Zygmunt","year":"1983","unstructured":"J. Zygmunt, Notes on decidability and finite approximability of sentential logics Acta Universitatis Wratislaviensis, Logika 8(1983), 69?81.","journal-title":"Acta Universitatis Wratislaviensis, Logika"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370180.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370180\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:44:03Z","timestamp":1554774243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF00370180"],"URL":"https:\/\/doi.org\/10.1007\/bf00370180","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}