{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:31:12Z","timestamp":1725557472478},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642138027"},{"type":"electronic","value":"9783642138034"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13803-4_41","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T11:11:36Z","timestamp":1276254696000},"page":"328-334","source":"Crossref","is-referenced-by-count":2,"title":["On Compactness and Consistency in Finite Lattice-Valued Propositional Logic"],"prefix":"10.1007","author":[{"given":"Xiaodong","family":"Pan","sequence":"first","affiliation":[]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Martinez","sequence":"additional","affiliation":[]},{"given":"Da","family":"Ruan","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1006\/jmaa.2000.7456","volume":"262","author":"R. B\u011blohl\u00e1vek","year":"2001","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy closure operators. Journal of Mathematical Analysis and Applications\u00a0262, 473\u2013489 (2001)","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"41_CR2","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s00500-002-0165-y","volume":"7","author":"R. B\u011blohl\u00e1vek","year":"2002","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy closure operators II: induced relations, representation, and examples. Soft computing\u00a07, 53\u201364 (2002)","journal-title":"Soft computing"},{"key":"41_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0633-1","volume-title":"Fuzzy Relational Systems: Foundations and Principles","author":"R. B\u011blohl\u00e1vek","year":"2002","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy Relational Systems: Foundations and Principles. Kluwer, New York (2002)"},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jmaa.1996.0064","volume":"198","author":"L. Biacino","year":"1996","unstructured":"Biacino, L., Gerla, G.: An extension principle for closure operators. Journal of Mathematical analysis and applications\u00a0198, 1\u201324 (1996)","journal-title":"Journal of Mathematical analysis and applications"},{"key":"41_CR5","unstructured":"Biacino, L., Gerla, G.: Closure Operators for Fuzzy Subsets. In: Proceeds First European Congress on Fuzzy and Intelligent Technologies, Aachen (1993)"},{"key":"41_CR6","unstructured":"Castro, J.L., Trillas, E.: Tarski\u2019s fuzzy consequences. In: Proc. Internat. Fuzzy Eng. Symp. 1991, vol.\u00a01, pp. 70\u201381 (1991)"},{"issue":"1","key":"41_CR7","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1080\/11663081.1994.10510820","volume":"4","author":"J.L. Castro","year":"1994","unstructured":"Castro, J.L., Trillas, E., Cubillo, S.: On consequence in approximate reasoning. J. Appl. Non-Classical Logics\u00a04(1), 91\u2013103 (1994)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"41_CR8","unstructured":"Cintula, P.: From fuzzy logic to fuzzy mathematics. Ph.D.Thesis, Czech Technical University, Prague (2005)"},{"key":"41_CR9","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0165-0114(94)90259-3","volume":"67","author":"G. Gerla","year":"1994","unstructured":"Gerla, G.: Comparing fuzzy and crisp deduction systems. Fuzzy Sets and Systems\u00a067, 317\u2013328 (1994)","journal-title":"Fuzzy Sets and Systems"},{"key":"41_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"41_CR11","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1016\/j.ins.2006.07.027","volume":"177","author":"J. Ma","year":"2007","unstructured":"Ma, J., Li, W., Ruan, D., Xu, Y.: Filter-based resolution principle for lattice-valued propositional logic LP(X). Information Sci.\u00a0177, 1046\u20131062 (2007)","journal-title":"Information Sci."},{"key":"41_CR12","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1016\/j.fss.2005.10.008","volume":"157","author":"J. Ma","year":"2006","unstructured":"Ma, J., Chen, S., Xu, Y.: Fuzzy logic from the viewpoint of machine intelligence. Fuzzy Sets Syst.\u00a0157, 628\u2013634 (2006)","journal-title":"Fuzzy Sets Syst."},{"key":"41_CR13","first-page":"345","volume":"5","author":"J. Mich\u00e1lek","year":"1975","unstructured":"Mich\u00e1lek, J.: Fuzzy Topologies. Kibernetika II\u00a05, 345\u2013354 (1975)","journal-title":"Kibernetika II"},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I: Many-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical Conpleteness of some many-valued propositional calculi. Zeitschr. F. Math. Logik. Und. Grundlagend Math.\u00a025, 45\u201352 (1979)","journal-title":"Zeitschr. F. Math. Logik. Und. Grundlagend Math."},{"key":"41_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k, V., Perfilieva, I., Mo\u010dko\u0159, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston (1999)"},{"key":"41_CR16","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1016\/j.fss.2005.10.010","volume":"157","author":"V. Nov\u00e1k","year":"2006","unstructured":"Nov\u00e1k, V.: Which logic is the real fuzzy logic? Fuzzy Sets and Systems\u00a0157, 635\u2013641 (2006)","journal-title":"Fuzzy Sets and Systems"},{"key":"41_CR17","first-page":"47","volume":"26","author":"V. Nov\u00e1k","year":"1990","unstructured":"Nov\u00e1k, V.: On the syntactico-semantical completeness of first-order fuzzy logic. Part I, syntax and semantics, Kybernetika\u00a026, 47\u201366 (1990)","journal-title":"Part I, syntax and semantics, Kybernetika"},{"key":"41_CR18","first-page":"134","volume":"26","author":"V. Nov\u00e1k","year":"1990","unstructured":"Nov\u00e1k, V.: On the syntactico-semantical completeness of first-order fuzzy logic. Part II, main results, Kybernetika\u00a026, 134\u2013154 (1990)","journal-title":"Part II, main results, Kybernetika"},{"key":"41_CR19","volume-title":"Logic, Semantics and Metamathematics","author":"A. Tarski","year":"1956","unstructured":"Tarski, A.: Logic, Semantics and Metamathematics. Clarendon Press, Oxford (1956)"},{"key":"41_CR20","volume-title":"Advances in Soft Computing","author":"E. Turunen","year":"1999","unstructured":"Turunen, E.: Mathematics behind fuzzy logic. In: Advances in Soft Computing. Physica-Verlag, Heidelberg (1999)"},{"key":"41_CR21","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.fss.2003.12.001","volume":"149","author":"G.J. Wang","year":"2005","unstructured":"Wang, G.J., Zhang, W.X.: Consistency degrees of finite theories in\u00a3ukasiewicz propositional fuzzy logic. Fuzzy Sets and Systems\u00a0149, 275\u2013284 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"41_CR22","volume-title":"Lattice-Valued Logic-An Alternative Approach to Treat Fuzziness and Incomparability","author":"Y. Xu","year":"2003","unstructured":"Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-Valued Logic-An Alternative Approach to Treat Fuzziness and Incomparability. Springer, Heidelberg (2003)"},{"key":"41_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0020-0255(00)00069-4","volume":"130","author":"Y. Xu","year":"2000","unstructured":"Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: \u03b1-Resolution principle based on lattice-valued propositional logic LP(X). Information Sci.\u00a0130, 1\u201329 (2000)","journal-title":"Information Sci."},{"key":"41_CR24","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","volume":"132","author":"Y. Xu","year":"2001","unstructured":"Xu, Y., Ruan, D., Kerre, E.E., Liu, J.: \u03b1-Resolution principle based on first-order lattice-valued logic LF(X). Information Sci.\u00a0132, 221\u2013239 (2001)","journal-title":"Information Sci."},{"key":"41_CR25","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1002\/int.20129","volume":"21","author":"Y. Xu","year":"2006","unstructured":"Xu, Y., Liu, J., Ruan, D.: Tsu-Tian Lee: On the consistency of Rule Bases Based on lattice-valued first-order logic LF(X). Internat. J. Intelligent Systems\u00a021, 399\u2013424 (2006)","journal-title":"Internat. J. Intelligent Systems"},{"key":"41_CR26","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/j.fss.2004.11.005","volume":"152","author":"X.N. Zhou","year":"2005","unstructured":"Zhou, X.N., Wang, G.J.: Consistency degrees of theories in some systems of propositional fuzzy logic. Fuzzy Sets and Systems\u00a0152, 321\u2013331 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"41_CR27","doi-asserted-by":"publisher","first-page":"2058","DOI":"10.1016\/j.fss.2006.02.007","volume":"157","author":"H.J. Zhou","year":"2006","unstructured":"Zhou, H.J., Wang, G.J.: Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets and Systems\u00a0157, 2058\u20132073 (2006)","journal-title":"Fuzzy Sets and Systems"},{"key":"41_CR28","doi-asserted-by":"publisher","first-page":"2591","DOI":"10.1016\/j.fss.2007.05.004","volume":"158","author":"H.J. Zhou","year":"2007","unstructured":"Zhou, H.J., Wang, G.J.: Characterizations of maximal consistent theories in the formal deductive system \n                  \n                    \n                  \n                  $\\mathcal{L}*$\n                 (NM-logic) and Cantor space. Fuzzy Sets and Systems\u00a0158, 2591\u20132604 (2007)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Hybrid Artificial Intelligence Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13803-4_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:13:24Z","timestamp":1619784804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13803-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138027","9783642138034"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13803-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}