{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:44:04Z","timestamp":1783111444165,"version":"3.54.6"},"reference-count":14,"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\/bf00370188","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:49:54Z","timestamp":1099439394000},"page":"275-297","source":"Crossref","is-referenced-by-count":4,"title":["On structural completeness of implicational logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Piotr","family":"Wojtylak","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Collection de Logique Mathematique","author":"A. Diego","year":"1966","unstructured":"Diego, A. Sur les algebres de Hilbert, translated from the Spanish by L. Iturrioz, Collection de Logique Mathematique, Ser. A,Fasc.XXI, Gauthier ? Villars, Paris, E. Nauwelaerts, Louvain, 1966, MR 33#7236."},{"issue":"2","key":"CR2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01874707","volume":"40","author":"W. Dziobiak","year":"1981","unstructured":"Dziobiak, W., The degree of maximality of the intuitionistic propositional logic, Studia Logica 40 (1981) no. 2, 177?198.","journal-title":"Studia Logica"},{"key":"CR3","first-page":"17","volume":"16","author":"P. Latocha","year":"1983","unstructured":"Latocha, P., The problem of structural completeness of the intuitionistic propositional logic and its fragments, Reports on Mathematical Logic 16 (1983), 17?22.","journal-title":"Reports on Mathematical Logic"},{"key":"CR4","first-page":"177","volume":"20","author":"J. Ko?","year":"1958","unstructured":"Ko?, J., Suszko, R., Remarks on, sentential logics, Indagationes Mathematicae 20 (1958), 177?183.","journal-title":"Indagationes Mathematicae"},{"key":"CR5","first-page":"99","volume":"6","author":"D. Makinson","year":"1976","unstructured":"Makinson, D., A characterization of structural completeness of a structural consequence operation, Reports on Mathematical Logic 6 (1976), 99?101.","journal-title":"Reports on Mathematical Logic"},{"key":"CR6","first-page":"85","volume":"32","author":"G.E. Minc","year":"1972","unstructured":"Minc, G.E., Derivability of admissible rules, Zap. Nauch. Sem. Leningrad Otdel. Math. Ins. Steklov. (LOMI) 32 (1972), 85?89, English translation in Journal of Soviet Mathematics 6 (1976), no. 4.","journal-title":"Zap. Nauch. Sem. Leningrad Otdel. Math. Ins. Steklov. (LOMI)"},{"key":"CR7","first-page":"349","volume":"19","author":"W.A. Pogorzelski","year":"1971","unstructured":"Pogorzelski, W.A., Structural completeness of the propositional calculus, Bulletin de l'Academie Polonaise des Sciences, serie des Sciences Mathematiques, Astronomiques et Physiques 19 (1971), 349?351.","journal-title":"Bulletin de l'Academie Polonaise des Sciences, serie des Sciences Mathematiques, Astronomiques et Physiques"},{"key":"CR8","volume-title":"Elements of the theory of completeness in propositional logic","author":"W.A. Pogorzelski","year":"1982","unstructured":"Pogorzelski, W.A., Wojtylak, P., Elements of the theory of completeness in propositional logic, Silesian University, Katowice 1982."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02120824","volume":"20","author":"T. Prucnal","year":"1972","unstructured":"Prucnal, T., On the structural completeness of some pure implicational calculi, Studia Logica 20 (1972), 45?52.","journal-title":"Studia Logica"},{"key":"CR10","first-page":"31","volume-title":"Structural completeness of purely implicational intermediate logics, (Salzburg 1983) in Foundations of Logic and Linguistic","author":"T. Prucnal","year":"1985","unstructured":"Prucnal, T., Structural completeness of purely implicational intermediate logics, (Salzburg 1983) in Foundations of Logic and Linguistic, Plenum, New York 1985, 31?41."},{"key":"CR11","unstructured":"Rautenberg, W., A note on implicational intermediate consequences, Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, 14 (1985) no. 3, 103?108."},{"key":"CR12","unstructured":"Rybakov, V.V., Decidability of admissibility in the modal system Grz and inintuitionistic logic, Math. USSR Izvestiya 50 (1986) no. 3, English translation Vol. 28 (1987) no. 3, 589?608."},{"key":"CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. W\ufffdjcicki","year":"1988","unstructured":"W\ufffdjcicki, R., Theory of Logical Calculi, Kluwer Academic Publishers, Dordrecht, Boston, London 1988."},{"key":"CR14","unstructured":"Wro?ski, A., On factoring by compact congruences in algebras of certain varieties related to the intuitionistic logic, Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, 15 (1986) no. 2, 48?51."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370188.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370188\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370188","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\/BF00370188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF00370188"],"URL":"https:\/\/doi.org\/10.1007\/bf00370188","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}