{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:15:32Z","timestamp":1725797732948},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319087948"},{"type":"electronic","value":"9783319087955"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08795-5_34","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T10:34:35Z","timestamp":1405593275000},"page":"325-334","source":"Crossref","is-referenced-by-count":1,"title":["Tableau Calculus for Basic Fuzzy Logic BL"],"prefix":"10.1007","author":[{"given":"Agnieszka","family":"Ku\u0142lacka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"34_CR1","first-page":"36","volume":"1","author":"I. Annellis","year":"1990","unstructured":"Annellis, I.: From semantic tableaux to Smullyan trees: the history of the falsifiability tree method. Modern Logic\u00a01(1), 36\u201369 (1990)","journal-title":"Modern Logic"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Bova, S., Montagna, F.: Proof Search in H\u00e1jek\u2019s Basic Logic. ACM Transactions on Computational Logic 9(3), Article 21 (June 2008)","DOI":"10.1145\/1352582.1352589"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Computing\u00a04, 106\u2013112 (2000)","journal-title":"Soft Computing"},{"key":"34_CR4","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vols. 1 & 2. College Publications (2011)"},{"key":"34_CR5","unstructured":"Fitting, M.: Introduction. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 1\u201344. Kluwer Academic Publishers (1999)"},{"key":"34_CR6","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s005000050043","volume":"2","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Basic fuzzy logic and BL-algebras. Soft Computing\u00a02, 124\u2013128 (1998)","journal-title":"Soft Computing"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"key":"34_CR8","unstructured":"Ku\u0142acka, A., Pattinson, D., Schr\u00f6der L.: Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. In: IJCAI (2013)"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer (2009)","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1007\/s00500-004-0450-z","volume":"9","author":"F. Montana","year":"2005","unstructured":"Montana, F.: Generating the variety of BL-algebras. Soft Computing\u00a09, 869\u2013874 (2005)","journal-title":"Soft Computing"},{"key":"34_CR11","doi-asserted-by":"publisher","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"P.S. Mostert","year":"1957","unstructured":"Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics\u00a065, 117\u2013144 (1957)","journal-title":"Annals of Mathematics"},{"key":"34_CR12","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1022989323091","volume":"73","author":"N. Olivetti","year":"2003","unstructured":"Olivetti, N.: Tableaux for \u0141ukasiewicz Infinite-valued Logic. Studia Logica\u00a073, 81\u2013111 (2003)","journal-title":"Studia Logica"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Or\u0142owska, E., Goli\u0144ska-Pilarek, J.: Dual Tableaux: Foundations, Methodology, Case Studies. Springer (2011)","DOI":"10.1007\/978-94-007-0005-5"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. University of California Press, Berkeley (1951)","DOI":"10.1525\/9780520348097"},{"issue":"1","key":"34_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1093\/logcom\/exm053","volume":"18","author":"T. Vetterlein","year":"2007","unstructured":"Vetterlein, T.: Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms. Journal of Logic and Computation\u00a018(1), 35\u201357 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"34_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/978-3-642-33362-0_53","volume-title":"Scalable Uncertainty Management","author":"A. Vidal","year":"2012","unstructured":"Vidal, A., Bou, F., Godo, L.: An SMT-Based Solver for Continuous t-norm Based Logics. In: H\u00fcllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol.\u00a07520, pp. 633\u2013640. Springer, Heidelberg (2012)"}],"container-title":["Communications in Computer and Information Science","Information Processing and Management of Uncertainty in Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08795-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T10:49:53Z","timestamp":1649674193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08795-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319087948","9783319087955"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08795-5_34","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}