{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:47Z","timestamp":1755220967008,"version":"3.43.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1023\/a:1010509126669","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"1-26","source":"Crossref","is-referenced-by-count":1,"title":["Cn-Definitions of Propositional Connectives"],"prefix":"10.1007","volume":"67","author":[{"given":"Witold A.","family":"Pogorzelski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Wojtylak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"350851_CR1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF02120821","volume":"30","author":"A. Grzegorczyk","year":"1972","unstructured":"Grzegorczyk, A., 'An approach to nonclassical calculus', Studia Logica 30 (1972), 33-43.","journal-title":"Studia Logica"},{"key":"350851_CR2","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J. L\u00f3s","year":"1958","unstructured":"L\u00f3s, J., R. Suszko, 'Remarks on sentential logic', Indagationes Mathematic\u00e6 20 (1958), 177-183.","journal-title":"Indagationes Mathematic\u00e6"},{"key":"350851_CR3","first-page":"99","volume":"6","author":"D. Makinson","year":"1975","unstructured":"Makinson, D., 'A characterization of structural completeness of a structural consequence operation', Reports on Mathematical Logic 6 (1975), 99-102.","journal-title":"Reports on Mathematical Logic"},{"issue":"5","key":"350851_CR4","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,ser. math., astr. et phys. 19, 5 (1971), 349-351.","journal-title":"Bulletin de l'Academie Polonaise des Sciences,ser. math., astr. et phys."},{"key":"350851_CR5","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF02548472","volume":"9","author":"W.A. Pogorzelski","year":"1960","unstructured":"Pogorzelski, W.A., J. Slupecki, 'Basic properties of the deductive systems based on nonclassical logics' (in Polish), Studia Logica, Part I 9 (1960), 161-176, Part II 10 (1960), 77-95.","journal-title":"Studia Logica"},{"key":"350851_CR6","unstructured":"Pogorzelski, W.A., P. wojtylak, Elements of the Theory of Completeness in Propositional Logic, Silesian University 1982."},{"key":"350851_CR7","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02120866","volume":"33","author":"T. Prucnal","year":"1974","unstructured":"Prucnal, T., 'Interpretations of the classical implicational calculus in nonclassical implicational calculi', Studia Logica 33 (1974), 59-63.","journal-title":"Studia Logica"},{"key":"350851_CR8","first-page":"22","volume":"23","author":"A. Tarski","year":"1930","unstructured":"Tarski, A., '\u00dcber einige fundamentale Begriffe der Metamathematik', Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie 23 (1930), 22-29.","journal-title":"Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"350851_CR9","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01696782","volume":"37","author":"A. Tarski","year":"1930","unstructured":"Tarski, A., 'Fundamentale Begriffe der Methodologie der deductiven Wissenschaften I', Monatshefte f\u00a8ur Mathematik und Physik 37 (1930), 361-404.","journal-title":"Monatshefte f\u00a8ur Mathematik und Physik"},{"key":"350851_CR10","first-page":"51","volume":"12","author":"P. Wojtylak","year":"1981","unstructured":"Wojtylak, P., 'Mutual interpretability of sentential logics II', Reports on Mathematical Logic 12 (1981), 51-66.","journal-title":"Reports on Mathematical Logic"},{"key":"350851_CR11","first-page":"421","volume":"9","author":"R. W\u00d3jcicki","year":"1970","unstructured":"W\u00d3jcicki, R., 'On reconstructability of the classical propositional logic in intutitionistic logic', Bulletin de l'Academie Polonaise des Sciences,ser. math., astr. et phys. 9 (1970), 421-422.","journal-title":"Bulletin de l'Academie Polonaise des Sciences,ser. math., astr. et phys."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010509126669.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010509126669\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010509126669.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:28:19Z","timestamp":1754630899000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010509126669"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["350851"],"URL":"https:\/\/doi.org\/10.1023\/a:1010509126669","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}