{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:03:48Z","timestamp":1725559428134},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540273264"},{"type":"electronic","value":"9783540318880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11518655_56","type":"book-chapter","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T10:45:39Z","timestamp":1279190739000},"page":"662-674","source":"Crossref","is-referenced-by-count":6,"title":["Poset Representation for G\u00f6del and Nilpotent Minimum Logics"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brunella","family":"Gerla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Manara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","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":"56_CR2","volume-title":"Cambridge Mathematical Texbooks","author":"B.A. Davey","year":"1991","unstructured":"Davey, B.A., Priestley, H.: Introduction to Lattices and Order. Cambridge Mathematical Texbooks. Cambridge University Press, Cambridge (1991)"},{"key":"56_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets ans Systems\u00a0124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets ans Systems"},{"key":"56_CR4","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/13.4.532","volume":"13","author":"F. Esteva","year":"2003","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Montagna, F.: Hoops and fuzzy logic. Journal of Logic and Computation\u00a013, 531\u2013555 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"56_CR5","doi-asserted-by":"crossref","unstructured":"Fodor, J.: Nilpotent minimum and related connectives for fuzzy logic. In: Proc. FUZZ-IEEE 1995, pp. 2077\u20132082 (1995)","DOI":"10.1109\/FUZZY.1995.409964"},{"key":"56_CR6","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/PL00009890","volume":"4","author":"B. Gerla","year":"2000","unstructured":"Gerla, B.: A characterization of G\u00f6del functions. Soft Computing\u00a04, 206\u2013209 (2000)","journal-title":"Soft Computing"},{"key":"56_CR7","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse\u00a069, 65\u201366 (1932)","journal-title":"Anzeiger Akademie der Wissenschaften Wien, Math.-naturwissensch. Klasse"},{"key":"56_CR8","volume-title":"Concrete mathematics: a foundation for computer science","author":"R.L. Graham","year":"1994","unstructured":"Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete mathematics: a foundation for computer science, 2nd edn. Addison-Wesley, Boston (1994)","edition":"2"},{"key":"56_CR9","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, Dordrecht (1998)"},{"key":"56_CR10","doi-asserted-by":"publisher","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A. Horn","year":"1969","unstructured":"Horn, A.: Logic with Truth Values in a Linearly Ordered Heyting Algebra. Journal of Symbolic Logic\u00a034, 395\u2013408 (1969)","journal-title":"Journal of Symbolic Logic"},{"key":"56_CR11","doi-asserted-by":"publisher","first-page":"475","DOI":"10.2307\/2270910","volume":"34","author":"A. Horn","year":"1969","unstructured":"Horn, A.: Free L-Algebras. Journal of Symbolic Logic\u00a034, 475\u2013480 (1969)","journal-title":"Journal of Symbolic Logic"},{"key":"56_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic\u00a016, 1\u201313 (1951)","journal-title":"Journal of Symbolic Logic"},{"key":"56_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D. Mundici","year":"1987","unstructured":"Mundici, D.: Satisfiability in many-valued sentential logic is NP-complete. Theoretical Computer Science\u00a052, 145\u2013153 (1987)","journal-title":"Theoretical Computer Science"},{"key":"56_CR14","unstructured":"Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences. Published electronically (2004), \n                    \n                      http:\/\/www.research.att.com\/~njas\/sequences"},{"key":"56_CR15","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.fss.2004.01.005","volume":"149","author":"S.M. Wang","year":"2005","unstructured":"Wang, S.M., Wang, B.S., Pei, D.W.: A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets and Systems\u00a0149, 297\u2013307 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"56_CR16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/S0165-0114(03)00138-6","volume":"145","author":"S.M. Wang","year":"2004","unstructured":"Wang, S.M., Wang, B.S., Wang, X.Y.: A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets and Systems\u00a0145, 253\u2013266 (2004)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11518655_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:45:59Z","timestamp":1619491559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11518655_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540273264","9783540318880"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11518655_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}