{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T05:47:19Z","timestamp":1779169639121,"version":"3.51.4"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,11,2]],"date-time":"2014-11-02T00:00:00Z","timestamp":1414886400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s00500-014-1489-0","type":"journal-article","created":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T01:47:58Z","timestamp":1414806478000},"page":"531-546","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Paraconsistency properties in degree-preserving fuzzy logics"],"prefix":"10.1007","volume":"19","author":[{"given":"Rodolfo","family":"Ertola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Flaminio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,2]]},"reference":[{"issue":"9","key":"1489_CR1","doi-asserted-by":"crossref","first-page":"1144","DOI":"10.1016\/j.apal.2010.02.001","volume":"161","author":"S Aguzzoli","year":"2010","unstructured":"Aguzzoli S, Bova S (2010) The free $$n$$ n -generated BL-algebra. Ann Pure Appl Log 161(9):1144\u20131170","journal-title":"Ann Pure Appl Log"},{"issue":"1\u20133","key":"1489_CR2","first-page":"31","volume":"99","author":"O Arieli","year":"2011","unstructured":"Arieli O, Avron A, Zamansky A (2011) Ideal paraconsistent logics. Stud Log 99(1\u20133):31\u201360","journal-title":"Stud Log"},{"key":"1489_CR3","doi-asserted-by":"crossref","unstructured":"Avron A, Zamansky A (2007) Non-deterministic multi-valued matrices for first-order logics of formal inconsistency. In: Proceedings of the 37th international symposium on multiple-valued logic, ISMVL. IEEE Press, Oslo, p 14","DOI":"10.1109\/ISMVL.2007.38"},{"key":"1489_CR4","first-page":"195","volume":"23","author":"D Batens","year":"1980","unstructured":"Batens D (1980) Paraconsistent extensional propositional logics. Logique et Analyse 23:195\u2013234","journal-title":"Logique et Analyse"},{"key":"1489_CR5","doi-asserted-by":"crossref","unstructured":"Besnard P, Hunter A (eds) (1998) Reasoning with actual and potential contradictions. Handbook of defeasible reasoning and uncertainty management systems, vol 2. Kluwer, Dordrecht","DOI":"10.1007\/978-94-017-1739-7"},{"key":"1489_CR6","doi-asserted-by":"crossref","unstructured":"Blok WJ, Pigozzi DL (1989) Algebraizable logics, vol 77. Memoirs of the American Mathematical Society, Providence","DOI":"10.1090\/memo\/0396"},{"issue":"6","key":"1489_CR7","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1093\/logcom\/exp030","volume":"19","author":"F Bou","year":"2009","unstructured":"Bou F, Esteva F, Font JM, Gil \u00c0, Godo L, Torrens A, Verd\u00fa V (2009) Logics preserving degrees of truth from varieties of residuated lattices. J Log Comput 19(6):1031\u20131069","journal-title":"J Log Comput"},{"key":"1489_CR8","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1305\/ndjfl\/1022615617","volume":"40","author":"W Carnielli","year":"1999","unstructured":"Carnielli W, Marcos J (1999) Limits for paraconsistent calculi. Notre Dame J Form Log 40:375\u2013390","journal-title":"Notre Dame J Form Log"},{"key":"1489_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","volume-title":"Handbook of philosophical logic","author":"W Carnielli","year":"2007","unstructured":"Carnielli W, Coniglio ME, Marcos J (2007) Logics of formal inconsistency. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 14, 2nd edn. Springer, Berlin, pp 1\u201393","edition":"2"},{"key":"1489_CR10","doi-asserted-by":"crossref","unstructured":"Castiglioni JL, Ertola RC (2014) Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. Log J IGPL 22(2):268\u2013273","DOI":"10.1093\/jigpal\/jzt027"},{"key":"1489_CR11","doi-asserted-by":"crossref","unstructured":"Cignoli R, D\u2019Ottaviano IML, Mundici D (1999) Algebraic foundations of many-valued reasoning. Trends in logic, vol 7. Kluwer, Dordrecht","DOI":"10.1007\/978-94-015-9480-6_2"},{"key":"1489_CR12","unstructured":"Cintula P, Noguera C (2011) A general framework for mathematical fuzzy logic. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic-volume 1. Studies in logic, mathematical logic and foundations, vol 37. College Publications, London, pp 103\u2013207"},{"issue":"3","key":"1489_CR13","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1016\/j.fss.2009.09.003","volume":"161","author":"P Cintula","year":"2010","unstructured":"Cintula P, Klement E-P, Mesiar R, Navara M (2010) Fuzzy logics with an additional involutive negation. Fuzzy Sets Syst 161(3):390\u2013411","journal-title":"Fuzzy Sets Syst"},{"key":"1489_CR14","unstructured":"Cintula P, H\u00e1jek P, Noguera C (eds) (2011) Handbook of mathematical fuzzy logic. Studies in logic, mathematical logic and foundations, vols 37, 38. College Publications, London"},{"key":"1489_CR15","doi-asserted-by":"crossref","unstructured":"Coniglio M, Esteva F, Godo L (2014) Logics of formal inconsistency arising from systems of fuzzy logic. Log J IGPL. doi: 10.1093\/jigpal\/jzu016","DOI":"10.1093\/jigpal\/jzu016"},{"key":"1489_CR16","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N Costa da","year":"1974","unstructured":"da Costa N (1974) On the theory of inconsistent formal systems. Notre Dame J Form Log 15:497\u2013510","journal-title":"Notre Dame J Form Log"},{"key":"1489_CR17","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"N Costa da","year":"1977","unstructured":"da Costa N, Alves E (1977) A semantical analysis of the calculi $$C_n$$ C n . Notre Dame J Form Log 18:621\u2013630","journal-title":"Notre Dame J Form Log"},{"key":"1489_CR18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"M Dunn","year":"1976","unstructured":"Dunn M (1976) Intuitive semantics for first degree entailment and \u2018coupled trees\u2019. Philos Stud 29:149\u2013168","journal-title":"Philos Stud"},{"key":"1489_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-94-017-0460-1_1","volume-title":"Handbook of philosophical logic","author":"M Dunn","year":"2002","unstructured":"Dunn M, Restall G (2002) Relevance logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 6. Kluwer, Dordrecht, pp 1\u2013136"},{"key":"1489_CR20","unstructured":"Ertola RC (2009) On some operations using the min operator. In: Carnielli W, Coniglio ME, D\u2019Ottaviano IML (eds) The many sides of logic. Studies in logic, vol 21. College Publications, London, pp 353\u2013368"},{"issue":"3","key":"1489_CR21","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271\u2013288","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"1489_CR22","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","author":"F Esteva","year":"2000","unstructured":"Esteva F, Godo L, H\u00e1jek P, Navara M (2000) Residuated fuzzy logics with an involutive negation. Arch Math Log 39(2):103\u2013124","journal-title":"Arch Math Log"},{"key":"1489_CR23","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s11225-013-9469-4","volume":"102","author":"TM Ferguson","year":"2014","unstructured":"Ferguson TM (2014) Extensions of priest-da costa logic. Stud Log 102:145\u2013174","journal-title":"Stud Log"},{"issue":"4","key":"1489_CR24","doi-asserted-by":"crossref","first-page":"3125","DOI":"10.1016\/j.fss.2006.06.016","volume":"157","author":"T Flaminio","year":"2006","unstructured":"Flaminio T, Marchioni E (2006) T-norm based logics with an independent involutive negation. Fuzzy Sets Syst 157(4):3125\u20133144","journal-title":"Fuzzy Sets Syst"},{"issue":"3","key":"1489_CR25","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s11225-009-9180-7","volume":"91","author":"JM Font","year":"2009","unstructured":"Font JM (2009) Taking degrees of truth seriously. Stud Log 91(3):383\u2013406","journal-title":"Stud Log"},{"key":"1489_CR26","doi-asserted-by":"crossref","unstructured":"Font JM, Gil A, Torrens A, Verd\u00fa V (2006) On the infinite-valued \u0141ukasiewicz logic that preserves degrees of truth. Arch Math Log 45(7):839\u2013868","DOI":"10.1007\/s00153-006-0001-7"},{"key":"1489_CR27","doi-asserted-by":"crossref","unstructured":"Goodman ND (1981) The logic of contradiction. Zeitschrift f\u00fcr Mathmatische Logik und Grundlagen der Mathematik 27:119\u2013126","DOI":"10.1002\/malq.19810270803"},{"key":"1489_CR28","unstructured":"Hanikov\u00e1 Z (2011) Computational complexity of propositional fuzzy logics. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic-vol 2. Studies in logic, mathematical logic and foundations, vol 38. College Publications, London, pp 793\u2013851"},{"issue":"3","key":"1489_CR29","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1002\/malq.200610044","volume":"53","author":"R Hor\u010d\u00edk","year":"2007","unstructured":"Hor\u010d\u00edk R, Noguera C, Petr\u00edk M (2007) On $$n$$ n -contractive fuzzy logics. Math Log Q 53(3):268\u2013288","journal-title":"Math Log Q"},{"key":"1489_CR30","unstructured":"Jansana R (2013) On deductive systems associated with equationally orderable quasivarieties. In: Proceedings of the 19th international conference on logic for programming, artificial intelligence and reasoning LPAR, Stellenbosch, South Africa"},{"issue":"1","key":"1489_CR31","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S Ja\u015bkowski","year":"1969","unstructured":"Ja\u015bkowski S (1969) Propositional calculus for contradictory deductive systems. Stud Log 24(1):143\u2013157","journal-title":"Stud Log"},{"key":"1489_CR32","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s00153-002-0165-8","volume":"42","author":"S Jenei","year":"2003","unstructured":"Jenei S (2003) On the structure of rotation-invariant semigroups. Arch Math Log 42:489\u2013514","journal-title":"Arch Math Log"},{"issue":"2","key":"1489_CR33","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Stud Log 70(2):183\u2013192","journal-title":"Stud Log"},{"issue":"1","key":"1489_CR34","first-page":"119","volume":"4","author":"I Johansson","year":"1936","unstructured":"Johansson I (1936) Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus. Compositio Mathematica 4(1):119\u2013136","journal-title":"Compositio Mathematica"},{"key":"1489_CR35","unstructured":"Middelburg CA (2011) A survey of paraconsistent logics. arXiv:1103.4324v1 [cs.LO]"},{"key":"1489_CR36","unstructured":"Moisil GC (1942) Logique modale. Disquisitiones math. et phys., Bucarest, II, vol 1, pp 3\u201398 [Reprinted. In: Moisil GC (ed) (1972) Essais sur les logiques non chrysippiennes. \u00c9ditions de l\u2019Acad\u00e9mie de la R\u00e9publique Socialiste de Roumanie, Bucarest]"},{"key":"1489_CR37","unstructured":"Noguera C (2007) Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Monografies de l\u2019Institut d\u2019Investigaci\u00f3 en Intel $$\\cdot $$ \u00b7 lig\u00e8ncia artificial, vol 27. CSIC, Barcelona"},{"key":"1489_CR38","doi-asserted-by":"crossref","unstructured":"Noguera C, Esteva F, Gispert J (2005a) On some varieties of MTL-algebras. Log J IGPL 13(4):443\u2013466","DOI":"10.1093\/jigpal\/jzi034"},{"key":"1489_CR39","doi-asserted-by":"crossref","unstructured":"Noguera C, Esteva F, Gispert J (2005b) Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch Math Log 44(7):869\u2013886","DOI":"10.1007\/s00153-005-0276-0"},{"key":"1489_CR40","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest G (1979) Logic of paradox. J Philos Log 8:219\u2013241","journal-title":"J Philos Log"},{"key":"1489_CR41","doi-asserted-by":"crossref","unstructured":"Priest G (2002a) Paraconsistent logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, vol 6, 2nd edn. Kluwer, Dordrecht, pp 287\u2013393","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"1489_CR42","doi-asserted-by":"crossref","unstructured":"Priest G (2002b) Fuzzy relevant logic. In: Carnielli WA et al (eds) Chapter 11 in paraconsistency: the logical way to the inconsistent. CRC Press, Boca Raton","DOI":"10.1201\/9780203910139.ch11"},{"issue":"2","key":"1489_CR43","doi-asserted-by":"crossref","first-page":"165","DOI":"10.5007\/1808-1711.2009v13n2p165","volume":"13","author":"G Priest","year":"2009","unstructured":"Priest G (2009) Dualising intuitionistic negation. Principia 13(2):165\u2013184","journal-title":"Principia"},{"key":"1489_CR44","volume-title":"An algebraic approach to non-classical logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa H (1974) An algebraic approach to non-classical logics. North-Holland, Amsterdam"},{"key":"1489_CR45","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","volume":"85","author":"C Rauszer","year":"1974","unstructured":"Rauszer C (1974) Semi-boolean algebras and their application to intuitionistic logic with dual operators. Fundamenta Mathematicae 85:219\u2013249","journal-title":"Fundamenta Mathematicae"},{"key":"1489_CR46","unstructured":"Skolem TA (1970) Untersuchungen \u00fcber die Axiome des Klassenkalk\u00fcls und \u00fcber Produktations- und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen. Skrifter utgit av Videnskabsselskapet i Kristiania 3, 1919 [Reprinted Skolem T. Selected works in logic. In: Fenstad JE (ed.) Universitetsforlaget]"},{"issue":"3","key":"1489_CR47","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338\u2013353","journal-title":"Inf Control"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-014-1489-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-014-1489-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-014-1489-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T22:23:28Z","timestamp":1565994208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-014-1489-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,2]]},"references-count":47,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["1489"],"URL":"https:\/\/doi.org\/10.1007\/s00500-014-1489-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,2]]}}}