{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:08Z","timestamp":1725490088652},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003151"},{"type":"electronic","value":"9783540362807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36280-0_12","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:16:50Z","timestamp":1187248610000},"page":"171-189","source":"Crossref","is-referenced-by-count":10,"title":["Double Residuated Lattices and Their Applications"],"prefix":"10.1007","author":[{"given":"Ewa","family":"Or\u0142owska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna Maria","family":"Radzikowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G. Allwein","year":"1993","unstructured":"G. Allwein and M. Dunn (1993). \u201cKripke models for linear logic\u201d. Journal of Symbolic Logic58, No 2, pp. 514\u2013545.","journal-title":"Journal of Symbolic Logic"},{"issue":"2-3","key":"12_CR2","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1080\/11663081.1999.10510969","volume":"9","author":"Ph. Balbiani","year":"1999","unstructured":"Ph. Balbiani and E. Or\u0142owska (1999). \u201cA hierarchy of modal logics with relative accessibility relations\u201d. Journal of Applied Non-Classical Logics 9, No 2-3, pp. 303\u2013328, special issue in the memory of George Gargov.","journal-title":"Journal of Applied Non-Classical Logics"},{"unstructured":"K. Blount and C. Tsinakis (2001). \u201cThe structure of residuated lattices\u201d. Preprint.","key":"12_CR3"},{"key":"12_CR4","volume-title":"The Mathematics of Fuzzy Systems","author":"L. F. Cerro del","year":"1986","unstructured":"L. Farinas del Cerro and H. Prade (1986) \u201cRough sets, fuzzy sets and modal logic\u201d. Fuzziness in indiscernibility and partial information. In: A. Di Nola and A. G. Ventre (eds), The Mathematics of Fuzzy Systems, Verlag T\u00dcV Rheinland."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"467","DOI":"10.2307\/1993227","volume":"88","author":"C. C. Chang","year":"1958","unstructured":"C. C. Chang (1958) \u201cAlgebraic analysis of many-valued logics\u201d. Transactions of the American Mathematical Society 88, pp. 467\u2013490.","journal-title":"Transactions of the American Mathematical Society"},{"unstructured":"S. Demri, E Or\u0142owska and D. Vakarelov (1999). \u201cIndiscernibility and complementarity relations in information systems\u201d. In: J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema (eds) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Amsterdam University Press.","key":"12_CR6"},{"doi-asserted-by":"crossref","unstructured":"S. Demri and E Or\u0142owska (2002). Incomplete Information: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science, Springer, forthcoming.","key":"12_CR7","DOI":"10.1007\/978-3-662-04997-6_2"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"335","DOI":"10.2307\/1990008","volume":"45","author":"R. P. Dilworth","year":"1939","unstructured":"R. P. Dilworth and N. Ward (1939) \u201cResiduated lattices\u201d. Transactions of the American Mathematical Society 45, pp. 335\u2013354.","journal-title":"Transactions of the American Mathematical Society"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/(SICI)1521-3870(200005)46:2<267::AID-MALQ267>3.0.CO;2-R","volume":"46","author":"I. D\u00fcntsch","year":"2000","unstructured":"I. D\u00fcntsch and E. Or\u0142owska (2000). \u201cLogics of complementarity in information systems\u201d. Mathematical Logic Quarterly 46, pp. 267\u2013288.","journal-title":"Mathematical Logic Quarterly"},{"unstructured":"I. D\u00fcntsch and E. Or\u0142owska (2000). \u201cBeyond modalities: suficiency and mixed algebras\u201d. In: E. Or\u0142owska and A. Sza\u0142as (eds) Relational Methods for Computer Science Applications, Physica Verlag, Heidelberg, pp. 263\u2013285.","key":"12_CR10"},{"unstructured":"I. D\u00fcntsch and E. Or\u0142owska (2001). \u201cAlgebraic structures for qualitative reasoning\u201d. Alfred Tarski Centenary Conference, Warsaw, Poland.","key":"12_CR11"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"F. Esteva and L. Godo (2001) \u201cMonoidal t-norm based logic: towards a logic for left-continuous t-norms\u201d. Fuzzy Sets and Systems 124, pp. 271\u2013288.","journal-title":"Fuzzy Sets and Systems"},{"doi-asserted-by":"crossref","unstructured":"F. Esteva and L. Godo (2001). \u201cOn complete residuated many-valued logics with tnorm conjunction\u201d. Proceedings of the 31st International Symposium on Multiple-Valued Logic, Warsaw, Poland, pp. 81\u201386.","key":"12_CR13","DOI":"10.1109\/ISMVL.2001.924558"},{"issue":"5","key":"12_CR14","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s005000100137","volume":"5","author":"P. Flondor","year":"2001","unstructured":"P. Flondor, G. Georgescu, and A. Iorgulecu (2001). \u201cPsedo-t-norms and pseudo-BL algebras\u201d. Soft Computing 5, No 5, pp. 355\u2013371.","journal-title":"Soft Computing"},{"unstructured":"S. Gottwald (2001). A Treatise on Many-Valued Logics, Studies in Logic and Computation 9, Research Studies Press: Baldock, Hertfordshire, England.","key":"12_CR15"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"J. A. Gougen","year":"1967","unstructured":"J. A. Gougen (1967). \u201cL-fuzzy sets\u201d. Journal of Mathematical Analysis and Applications 18, pp. 145\u2013174.","journal-title":"Journal of Mathematical Analysis and Applications"},{"doi-asserted-by":"crossref","unstructured":"P. Hajek (1998). Metamathematics of Fuzzy Logic, Kluwer, Dordrecht.","key":"12_CR17","DOI":"10.1007\/978-94-011-5300-3"},{"unstructured":"J. B. Hart, L. Rafter, and C. Tsinakis (2001). \u201cThe structure of commutative residuated lattices\u201d. Preprint.","key":"12_CR18"},{"unstructured":"C. A. R. Hoare and H. Jifeng (1986). \u201cThe weakest prespecification\u201d. Part I: Fundamenta Informaticae IX, pp. 51\u201384. Part II: Fundamenta Informaticae IX, pp. 217-252.","key":"12_CR19"},{"doi-asserted-by":"crossref","unstructured":"U. H\u00f6hle and U.P. Klement (eds) (1996). Non-Classical Logics and their Applications to Fuzzy Subsets, Kluwer, Dordrecht.","key":"12_CR20","DOI":"10.1007\/978-94-011-0215-5"},{"unstructured":"U. H\u00f6hle (1996). \u201cCommutative, residuated l-monoids\u201d. In [20], pp. 53\u2013106.","key":"12_CR21"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"I. Humberstone","year":"1983","unstructured":"I. Humberstone (1983). \u201cInaccessible words\u201d. Notre Dame Journal of Formal Logic 24, pp. 346\u2013352.","journal-title":"Notre Dame Journal of Formal Logic"},{"unstructured":"P. Jipsen (2001). \u201cA Gentzen system and decidability for residuated lattices\u201d. Preprint.","key":"12_CR23"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1004952317628","volume":"58","author":"B. Konikowska","year":"1997","unstructured":"B. Konikowska (1997). \u201cogic for reasoning about relative similarity\u201d Studia Logica 58, pp. 185\u2013226.","journal-title":"Studia Logica"},{"unstructured":"R. K. Meyer and R. Routley (1972). \u201cAlgebraic analysis of entailment\u201d, Logique et analyse 15, pp. 6.","key":"12_CR25"},{"doi-asserted-by":"crossref","unstructured":"E. Or\u0142owska (1988). \u201cKripke models with relative accessibility and their application to inferences from incomplete information\u201d. In: Mirkowska, G. and Rasiowa, H. (eds), Mathematical Problems in Computation Theory. Banach Center Publications 21, pp. 329\u2013339.","key":"12_CR26","DOI":"10.4064\/-21-1-329-339"},{"doi-asserted-by":"crossref","unstructured":"E. Or\u0142owska (ed) (1998). Incomplete Information \u2014 Rough Set Analysis, Studies in Fuzziness and Soft Computing, Springer-Verlag.","key":"12_CR27","DOI":"10.1007\/978-3-7908-1888-8"},{"key":"12_CR28","first-page":"207","volume":"4","author":"E. Or\u0142owska","year":"1999","unstructured":"E. Or\u0142owska (1999). \u201cMany-valuedness and uncertainty\u201d. Multiple-Valued Logic 4, pp. 207\u2013227.","journal-title":"Multiple-Valued Logic"},{"unstructured":"E. Or\u0142owska and A. M. Radzikowska (2001). \u201cInformation relations and operators based on double residuated lattices\u201d. In H. de Swart (ed), Proceedings of the 6th Seminar on Relational Methods in Computer Science RelMiCS\u20192001, pp. 185\u2013199.","key":"12_CR29"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0165-0114(01)00032-X","volume":"126","author":"A. M. Radzikowska","year":"2002","unstructured":"A. M. Radzikowska and E. E. Kerre (2002) \u201cA comparative study of fuzzy rough sets\u201d. Fuzzy Sets and Systems 126 No 2, pp. 137\u2013155.","journal-title":"Fuzzy Sets and Systems"},{"unstructured":"A. M. Radzikowska, E. E. Kerre (2002) \u201cA general calculus of fuzzy rough sets\u201d. Submitted.","key":"12_CR31"},{"doi-asserted-by":"crossref","unstructured":"A. M. Radzikowska and E. E. Kerre (2001). \u201cOn some classes of fuzzy information relations\u201d. Proceedings of the 31st International Symposium on Multiple-Valued Logic, Warsaw, Poland, pp. 75\u201380.","key":"12_CR32","DOI":"10.1109\/ISMVL.2001.924557"},{"unstructured":"A. M. Radzikowska and E. E. Kerre (2001) \u201cTowards studying of fuzzy information relations\u201d. To appear in Proceedings of EUSFLAT-2001, Leicester, UK.","key":"12_CR33"},{"unstructured":"H. Rasiowa and R. Sikorski (1970). The Mathematics of Metamathematics, Warszawa.","key":"12_CR34"},{"key":"12_CR35","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"83","author":"C. Rauszer","year":"1974","unstructured":"C. Rauszer (1974). \u201cSemi-Boolean algebras and their applications to intuitionistic logic with dual operations\u201d. Fundamenta Mathematicae 83, pp. 219\u2013249.","journal-title":"Fundamenta Mathematicae"},{"unstructured":"B. Schweizer and A. Sklar (1983). Probabilistic Metric Spaces. North Holland, Amsterdam.","key":"12_CR36"},{"unstructured":"E. Turunen (1999) Mathematics Behind Fuzzy Logic, Springer-Verlag.","key":"12_CR37"},{"doi-asserted-by":"crossref","unstructured":"D. Vakarelov (1998). \u201cInformation systems, similarity relations and modal logics\u201d. In [27], pp. 492\u2013550.","key":"12_CR38","DOI":"10.1007\/978-3-7908-1888-8_16"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36280-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:06:21Z","timestamp":1556769981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36280-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003151","9783540362807"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-36280-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}