{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:18:47Z","timestamp":1737523127632,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72434-6_86","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:54:51Z","timestamp":1191938091000},"page":"850-860","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Proof Theory for Basic Logic"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Vetterlein","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"86_CR1","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A.: A constructive analysis of RM. J. Symbolic Logic\u00a052, 939\u2013951 (1987)","journal-title":"J. Symbolic Logic"},{"key":"86_CR2","doi-asserted-by":"crossref","first-page":"315","DOI":"10.3233\/FUN-2004-59401","volume":"59","author":"M. Baaz","year":"2004","unstructured":"Baaz, M., Ciabattoni, A., Montagna, F.: Analytic calculi for monoidal t-norm based logic. Fundam. Inform.\u00a059, 315\u2013332 (2004)","journal-title":"Fundam. Inform."},{"key":"86_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-48754-9_8","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Baaz","year":"1999","unstructured":"Baaz, M., Ferm\u00fcller, C.G.: Analytic calculi for projective logics. In: Murray, N.V. (ed.) TABLEAUX 1999. LNCS (LNAI), vol.\u00a01617, pp. 36\u201350. Springer, Heidelberg (1999)"},{"key":"86_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44622-2_12","volume-title":"Computer Science Logic","author":"M. Baaz","year":"2000","unstructured":"Baaz, M., Zach, R.: Hypersequents and the proof theory of intuitionistic fuzzy logic. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 187\u2013201. Springer, Heidelberg (2000)"},{"key":"86_CR5","unstructured":"Bova, S., Montagna, F.: Proof Search in Hajek\u2019s Basic Logic, available at arxiv.org\/abs\/cs\/0605094"},{"key":"86_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1007\/978-3-540-32275-7_33","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A. Ciabattoni","year":"2005","unstructured":"Ciabattoni, A., Ferm\u00fcller, C.G., Metcalfe, G.: Uniform rules and dialogue games for fuzzy logics. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol.\u00a03452, pp. 496\u2013510. Springer, Heidelberg (2005)"},{"key":"86_CR7","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/13.4.532","volume":"13","author":"F. Esteva","year":"2003","unstructured":"Esteva, F., et al.: Hoops and fuzzy logic. J. Log. Comput.\u00a013, 531\u2013555 (2003)","journal-title":"J. Log. Comput."},{"key":"86_CR8","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 Acad. Publ., Dordrecht (1998)"},{"key":"86_CR9","first-page":"159","volume":"12","author":"P. H\u00e1jek","year":"2002","unstructured":"H\u00e1jek, P.: Some hedges for continuous t-norm logics. Neural Networks\u00a012, 159\u2013164 (2002)","journal-title":"Neural Networks"},{"key":"86_CR10","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1145\/1071596.1071600","volume":"6","author":"G. Metcalfe","year":"2005","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for \u0141ukasiewicz and Abelian logics. ACM Transactions on Computational Logic\u00a06, 578\u2013613 (2005)","journal-title":"ACM Transactions on Computational Logic"},{"key":"86_CR11","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1007\/s00153-004-0225-3","volume":"43","author":"G. Metcalfe","year":"2004","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Analytic calculi for product logics. Arch. Math. Logic\u00a043, 859\u2013889 (2004)","journal-title":"Arch. Math. Logic"},{"key":"86_CR12","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/14.2.299","volume":"14","author":"F. Montagna","year":"2004","unstructured":"Montagna, F.: Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Logic Computation\u00a014, 299\u2013322 (2004)","journal-title":"J. Logic Computation"},{"key":"86_CR13","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1007\/s00500-004-0450-z","volume":"9","author":"F. Montagna","year":"2005","unstructured":"Montagna, F.: Generating the variety of BL-algebras. Soft Comp.\u00a09, 869\u2013874 (2005)","journal-title":"Soft Comp."},{"key":"86_CR14","first-page":"900","volume":"48","author":"G. Pottinger","year":"1983","unstructured":"Pottinger, G.: Uniform cut-free formulations of T, S4, S5 (abstract). J. Symb. Logic\u00a048, 900 (1983)","journal-title":"J. Symb. Logic"},{"key":"86_CR15","unstructured":"Vetterlein, T.: Logics of ordinal multiples of standard t-norms. Preprint; available at ls1-www.cs.uni-dortmund.de\/~vetterl\/Artikel\/LogicsOrdinalMultiples.pdf"}],"container-title":["Advances in Soft Computing","Theoretical Advances and Applications of Fuzzy Logic and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72434-6_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T13:50:11Z","timestamp":1737467411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72434-6_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724339"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72434-6_86","relation":{},"subject":[]}}