{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T16:31:53Z","timestamp":1790958713608,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662576687","type":"print"},{"value":"9783662576694","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-57669-4_7","type":"book-chapter","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T08:48:51Z","timestamp":1530002931000},"page":"130-144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Lindenbaum and Pair Extension Lemma in Infinitary Logics"],"prefix":"10.1007","author":[{"given":"Marta","family":"B\u00edlkov\u00e1","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petr","family":"Cintula","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom\u00e1\u0161","family":"L\u00e1vi\u010dka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,6,27]]},"reference":[{"issue":"6","key":"7_CR1","doi-asserted-by":"publisher","first-page":"1815","DOI":"10.1093\/logcom\/exv009","volume":"26","author":"M B\u00edlkov\u00e1","year":"2016","unstructured":"B\u00edlkov\u00e1, M., Majer, O., Peli\u0161, M.: Epistemic logics for sceptical agents. J. Log. Comput. 26(6), 1815\u20131841 (2016)","journal-title":"J. Log. Comput."},{"key":"7_CR2","series-title":"Trends in Logic","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, vol. 7. Kluwer, Dordrecht (1999)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/j.fss.2014.11.021","volume":"292","author":"P Cintula","year":"2016","unstructured":"Cintula, P.: A note on axiomatizations of Pavelka-style complete fuzzy logics. Fuzzy Sets Syst. 292, 160\u2013174 (2016)","journal-title":"Fuzzy Sets Syst."},{"key":"7_CR4","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in 2 Volumes). Studies in Logic, Mathematical Logic and Foundations, vols. 37, 38. College Publications, London (2011)"},{"key":"7_CR5","series-title":"Studies in Logic, Mathematical Logic and Foundations","first-page":"103","volume-title":"Handbook of Mathematical Fuzzy Logic - Volume 1","author":"P Cintula","year":"2011","unstructured":"Cintula, P., Noguera, C.: A general framework for mathematical fuzzy logic. In: Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic - Volume 1. Studies in Logic, Mathematical Logic and Foundations, vol. 37, pp. 103\u2013207. College Publications, London (2011)"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1007\/s11225-013-9496-1","volume":"101","author":"P Cintula","year":"2013","unstructured":"Cintula, P., Noguera, C.: The proof by cases property and its variants in structural consequence relations. Studia Logica 101(4), 713\u2013747 (2013)","journal-title":"Studia Logica"},{"key":"7_CR7","series-title":"Trends in Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics","author":"J Czelakowski","year":"2001","unstructured":"Czelakowski, J.: Protoalgebraic Logics. Trends in Logic, vol. 10. Kluwer, Dordrecht (2001)"},{"issue":"4","key":"7_CR8","first-page":"305","volume":"15","author":"J Degen","year":"2006","unstructured":"Degen, J., Werner, J.: Towards intuitionistic dynamic logic. Log. Log. Philos. 15(4), 305\u2013324 (2006)","journal-title":"Log. Log. Philos."},{"key":"7_CR9","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic","author":"JM Dunn","year":"2001","unstructured":"Dunn, J.M., Hardegree, G.M.: Algebraic Methods in Philosophical Logic. Oxford Logic Guides, vol. 41. Oxford University Press, Oxford (2001)"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","author":"F Esteva","year":"2000","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2), 103\u2013124 (2000)","journal-title":"Arch. Math. Log."},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s001530050173","volume":"40","author":"F Esteva","year":"2001","unstructured":"Esteva, F., Godo, L., Montagna, F.: The \u0141$$\\rm \\varPi $$\u03a0 and \u0141$$\\rm \\varPi \\frac{1}{2}$$\u03a012 logics: two complete fuzzy systems joining \u0141ukasiewicz and product logics. Arch. Math. Log. 40(1), 39\u201367 (2001)","journal-title":"Arch. Math. Log."},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF00136118","volume":"3","author":"R Goldblatt","year":"1984","unstructured":"Goldblatt, R.: An abstract setting for Henkin proofs. Topoi 3(1), 37\u201341 (1984)","journal-title":"Topoi"},{"key":"7_CR13","unstructured":"Goldblatt, R.: Mathematics of Modality. CSLI Lecture Notes, vol. 43. CSLI Publications Stanford University (1993)"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.2307\/2271339","volume":"28","author":"LS Hay","year":"1963","unstructured":"Hay, L.S.: Axiomatization of the infinite-valued predicate calculus. J. Symb. Log. 28(1), 77\u201386 (1963)","journal-title":"J. Symb. Log."},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/s00153-004-0214-6","volume":"43","author":"R Hor\u010d\u00edk","year":"2004","unstructured":"Hor\u010d\u00edk, R., Cintula, P.: Product \u0141ukasiewicz logic. Arch. Math. Logic 43(4), 477\u2013503 (2004)","journal-title":"Arch. Math. Logic"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Ku\u0142acka, A.: Strong standard completeness for continuous t-norms. Fuzzy Sets Syst. https:\/\/doi.org\/10.1016\/j.fss.2018.01.001","DOI":"10.1016\/j.fss.2018.01.001"},{"issue":"1","key":"7_CR17","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10849-007-9051-4","volume":"7","author":"GR Lavalette de","year":"2008","unstructured":"de Lavalette, G.R., Kooi, B., Verbrugge, R.: Strong completeness and limited canonicity for PDL. J. Log. Lang. Inf. 7(1), 69\u201387 (2008)","journal-title":"J. Log. Lang. Inf."},{"key":"7_CR18","unstructured":"\u0141ukasiewicz, J., Tarski, A.: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, cl. III 23(iii), 30\u201350 (1930)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-540-75939-3_15","volume-title":"Algebraic and Proof-theoretic Aspects of Non-classical Logics","author":"F Montagna","year":"2007","unstructured":"Montagna, F.: Notes on strong completeness in \u0141ukasiewicz, product and BL logics and in their first-order extensions. In: Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V. (eds.) Algebraic and Proof-theoretic Aspects of Non-classical Logics. LNCS (LNAI), vol. 4460, pp. 247\u2013274. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75939-3_15"},{"key":"7_CR20","doi-asserted-by":"publisher","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substructural Logics. Routledge, New York (2000)"},{"issue":"6","key":"7_CR21","doi-asserted-by":"publisher","first-page":"1787","DOI":"10.1093\/logcom\/exu034","volume":"26","author":"I Sedl\u00e1r","year":"2016","unstructured":"Sedl\u00e1r, I.: Epistemic extensions of modal distributive substructural logics. J. Log. Comput. 26(6), 1787\u20131813 (2016)","journal-title":"J. Log. Comput."},{"key":"7_CR22","unstructured":"Sedl\u00e1r, I.: Propositional dynamic logic with Belnapian truth values. In: Beklemishev, L., Demri, S., M\u00e1t\u00e9, A. (eds.) Advances in Modal Logic, vol. 11, pp. 530\u2013519. College Publications (2016)"},{"key":"7_CR23","unstructured":"Sedl\u00e1r, I.: Non-classical PDL on the cheap. In: Arazim, P., L\u00e1vi\u010dka, T. (eds.) The Logica Yearbook 2016, pp. 239\u2013256. College Publications (2017)"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/BF01048686","volume":"23","author":"K Segerberg","year":"1994","unstructured":"Segerberg, K.: A model existence theorem in infinitary propositional modal logic. J. Philos. Log. 23, 337\u2013367 (1994)","journal-title":"J. Philos. Log."},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1111\/j.1755-2567.1977.tb00778.x","volume":"43","author":"G Sundholm","year":"1977","unstructured":"Sundholm, G.: A completeness proof for an infinitary tense-logic. Theoria 43(1), 47\u201351 (1977)","journal-title":"Theoria"},{"issue":"1","key":"7_CR26","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s00500-016-2338-0","volume":"21","author":"A Vidal","year":"2017","unstructured":"Vidal, A., Bou, F., Esteva, F., Godo, L.: On strong standard completeness in some MTL$$_\\varDelta $$\u0394 expansions. Soft. Comput. 21(1), 125\u2013147 (2017)","journal-title":"Soft. Comput."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-57669-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T18:39:08Z","timestamp":1720377548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-57669-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662576687","9783662576694"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-57669-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}