{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T18:43:15Z","timestamp":1761936195220,"version":"build-2065373602"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"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]]},"DOI":"10.1007\/bf00370679","type":"journal-article","created":{"date-parts":[[2004,11,3]],"date-time":"2004-11-03T16:55:22Z","timestamp":1099500922000},"page":"385-390","source":"Crossref","is-referenced-by-count":12,"title":["A deduction theorem schema for deductive systems of propositional logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Janusz","family":"Czelakowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wies?aw","family":"Dziobiak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"W.J. Blok","year":"1986","unstructured":"W.J. Blok and D. Pigozzi, Protoalgebraic logics, Studia Logica 45 (1986), pp. 337?369.","journal-title":"Studia Logica"},{"key":"CR2","volume-title":"Memoirs of American Mathematical Society 77","author":"W.J. Blok","year":"1989","unstructured":"W.J. Blok and D. Pigozzi, Algebraizable logics, Memoirs of American Mathematical Society 77 (1989), American Mathematical Society, Providence."},{"key":"CR3","unstructured":"W.J. Blok and D. Pigozzi, The deduction theorem in algebraic logic, (to appear)"},{"key":"CR4","unstructured":"W.J. Blok and D. Bigozzi, Algebraic semantics for universal Horn logic without equality, Universal Algebra and Quasigroups, Heldermann Verlag, Berlin, (to appear)"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00370428","volume":"44","author":"J. Czelakowski","year":"1985","unstructured":"J. Czelakowski, Algebraic aspects of deduction theorems, Studia Logica 44 (1985), pp. 369?387.","journal-title":"Studia Logica"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00370271","volume":"45","author":"J. Czelakowski","year":"1986","unstructured":"J. Czelakowski, Local deduction theorems, Studia Logica 45 (1986), p. 377?391.","journal-title":"Studia Logica"},{"key":"CR7","unstructured":"J. czelakowski and W. dziobiak, The deduction-like theorem for quasivarieties of algebras and its applications, (preprint)"},{"key":"CR8","first-page":"11","volume":"VI","author":"J. Perzanowski","year":"1971","unstructured":"J. Perzanowski and A. Wro?ski, The deduction theorem for the system T of Feys-von Wright, Universitas lagiellonica Acta Scientiarum Literarumque, CCLXV, Schediae Logicae, fasc VI (1971), pp. 11?14.","journal-title":"Universitas lagiellonica Acta Scientiarum Literarumque, CCLXV, Schediae Logicae"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF02125917","volume":"15","author":"W.A. Pogorzelski","year":"1964","unstructured":"W.A. Pogorzelski, Przeglad twierdze? o dedukeji dla rachunk\ufffdw zdaniowych, Studia Logica 15 (1964), pp. 163?178.","journal-title":"Studia Logica"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00370436","volume":"38","author":"M. Tokarz","year":"1979","unstructured":"M. Tokarz, Deduction theorems for RM and its extensions, Studia Logica 38 (1979), pp. 105?111.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370679.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370679\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T01:44:14Z","timestamp":1554774254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":10,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00370679"],"URL":"https:\/\/doi.org\/10.1007\/bf00370679","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1991]]}}}