{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T09:28:21Z","timestamp":1785490101692,"version":"3.56.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T00:00:00Z","timestamp":1675987200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T00:00:00Z","timestamp":1675987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2023,3]]},"DOI":"10.1007\/s11787-023-00322-2","type":"journal-article","created":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T12:07:17Z","timestamp":1676030837000},"page":"69-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Lindenbaum-Type Logical Structures"],"prefix":"10.1007","volume":"17","author":[{"given":"Sayantan","family":"Roy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sankha S.","family":"Basu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mihir K.","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,2,10]]},"reference":[{"key":"322_CR1","doi-asserted-by":"crossref","unstructured":"Arieli, O., Avron, A.: Three-valued paraconsistent propositional logics. In: B\u00e9ziau, J.-Y., Chakraborty, M., Dutta, S., (eds.), New Directions in Paraconsistent Logic, vol. 152 of Springer Proc. Math. Stat., pp. 91\u2013129. Springer, New Delhi (2015)","DOI":"10.1007\/978-81-322-2719-9_4"},{"key":"322_CR2","doi-asserted-by":"crossref","unstructured":"Arruda, A.I.: A survey of paraconsistent logic. In: Arruda, A.I., da\u00a0Costa, N.C.A., Chuaqui, R., (eds.), Mathematical Logic in Latin America (Proc. IV Latin Amer. Sympos. Math. Logic, Santiago, 1978), vol.\u00a099 of Stud. Logic Foundations Math., pp. 1\u201341. North-Holland, Amsterdam, New York (1980)","DOI":"10.1016\/S0049-237X(09)70477-X"},{"issue":"3","key":"322_CR3","first-page":"509","volume":"21","author":"D Batens","year":"1980","unstructured":"Batens, D.: A completeness-proof method for extensions of the implicational fragment of the propositional calculus. Notre Dame J. Form. Logic 21(3), 509\u2013517 (1980)","journal-title":"Notre Dame J. Form. Logic"},{"key":"322_CR4","unstructured":"B\u00e9ziau, J.-Y.: Universal logic. In: Childers, T., Majer, O., (eds.), Logica\u201994\u2014Proceedings of the 8th International Symposium, pp. 73\u201393. Prague (1994)"},{"key":"322_CR5","first-page":"341","volume":"167\u2013168","author":"J-Y B\u00e9ziau","year":"1999","unstructured":"B\u00e9ziau, J.-Y.: La v\u00e9ritable port\u00e9e du th\u00e9or\u00e8me de Lindenbaum-Asser. Log. Anal. 167\u2013168, 341\u2013349 (1999)","journal-title":"Log. Anal."},{"issue":"176","key":"322_CR6","first-page":"373","volume":"44","author":"J-Y B\u00e9ziau","year":"2001","unstructured":"B\u00e9ziau, J.-Y.: Sequents and bivaluations. Log. Anal. (N.S.) 44(176), 373\u2013394 (2001)","journal-title":"Log. Anal. (N.S.)"},{"issue":"2\u20133","key":"322_CR7","first-page":"133","volume":"35","author":"J-Y B\u00e9ziau","year":"2006","unstructured":"B\u00e9ziau, J.-Y.: 13 questions about universal logic. University of \u0141\u00f3d\u017a. Department of Logic. Bull. Sect. Logic 35(2\u20133), 133\u2013150 (2006). (Questions by Linda Eastwood)","journal-title":"Bull. Sect. Logic"},{"issue":"1","key":"322_CR8","doi-asserted-by":"publisher","first-page":"78","DOI":"10.21146\/2074-1472-2020-26-1-78-90","volume":"26","author":"J-Y B\u00e9ziau","year":"2020","unstructured":"B\u00e9ziau, J.-Y.: Many-valuedness from a universal logic perspective. Logicheskie Issled. Log. Investig. 26(1), 78\u201390 (2020)","journal-title":"Logicheskie Issled. Log. Investig."},{"key":"322_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1080\/00029890.1950.11999523","volume":"57","author":"N Bourbaki","year":"1950","unstructured":"Bourbaki, N.: The architecture of mathematics. Am. Math. Mon. 57, 221\u2013232 (1950)","journal-title":"Am. Math. Mon."},{"key":"322_CR10","series-title":"CSLI Lecture Notes","volume-title":"Universal logic","author":"R Brady","year":"2006","unstructured":"Brady, R.: Universal logic. CSLI Lecture Notes, vol. 109. CSLI Publications, Stanford (2006)"},{"key":"322_CR11","first-page":"52","volume":"102","author":"DJ Brown","year":"1973","unstructured":"Brown, D.J., Suszko, R., Bloom, S.L.: Abstract logics. Diss. Math. 102, 52 (1973)","journal-title":"Diss. Math."},{"key":"322_CR12","volume-title":"Theory of Graded Consequence: A General Framework for Logics of Uncertainty. Logic in Asia: Studia Logica Library","author":"MK Chakraborty","year":"2019","unstructured":"Chakraborty, M.K., Dutta, S.: Theory of Graded Consequence: A General Framework for Logics of Uncertainty. Logic in Asia: Studia Logica Library. Springer, Singapore (2019)"},{"key":"322_CR13","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA da Costa","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Log. 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Form. Log."},{"issue":"4","key":"322_CR14","first-page":"621","volume":"18","author":"NCA da Costa","year":"1977","unstructured":"da Costa, N.C.A., Alves, E.H.: A semantical analysis of the calculi $${ C}_{n}$$. Notre Dame J. Form. Log. 18(4), 621\u2013630 (1977)","journal-title":"Notre Dame J. Form. Log."},{"key":"322_CR15","first-page":"29","volume":"13","author":"W Dzik","year":"1981","unstructured":"Dzik, W.: The existence of Lindenbaum\u2019s extensions is equivalent to the axiom of choice. Rep. Math. Log. 13, 29\u201331 (1981)","journal-title":"Rep. Math. Log."},{"key":"322_CR16","unstructured":"Hlobil, U.: Choosing your nonmonotonic logic: a shopper\u2019s guide. In: The Logica Yearbook 2017, pp. 109\u2013123. College Publications, London (2018)"},{"key":"322_CR17","unstructured":"Kunen, K.: Set theory, vol.\u00a034 of Studies in Logic (London). College Publications, London, Revised edition (2013)"},{"issue":"106","key":"322_CR18","first-page":"119","volume":"27","author":"A Lopari\u0107","year":"1984","unstructured":"Lopari\u0107, A., da Costa, N.C.A.: Paraconsistency, paracompleteness, and valuations. Log. Anal. Nouv. S\u00e9r. 27(106), 119\u2013131 (1984)","journal-title":"Log. Anal. Nouv. S\u00e9r."},{"issue":"1","key":"322_CR19","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s11787-006-0009-0","volume":"1","author":"DW Miller","year":"2007","unstructured":"Miller, D.W.: Some restricted Lindenbaum theorems equivalent to the axiom of choice. Log. Univers. 1(1), 183\u2013199 (2007)","journal-title":"Log. Univers."},{"issue":"2","key":"322_CR20","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1005020217249","volume":"60","author":"M Tsuji","year":"1998","unstructured":"Tsuji, M.: Many-valued logics and Suszko\u2019s Thesis revisited. Stud. Log. 60(2), 299\u2013309 (1998)","journal-title":"Stud. Log."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-023-00322-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-023-00322-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-023-00322-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,14]],"date-time":"2023-03-14T12:12:45Z","timestamp":1678795965000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-023-00322-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,10]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,3]]}},"alternative-id":["322"],"URL":"https:\/\/doi.org\/10.1007\/s11787-023-00322-2","relation":{"is-basis-for":[{"id-type":"doi","id":"10.52843\/cassyni.7h1xcz","asserted-by":"object"}]},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2,10]]},"assertion":[{"value":"4 September 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 February 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}