{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:06:23Z","timestamp":1744157183000,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_31","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"451-465","source":"Crossref","is-referenced-by-count":4,"title":["Sette\u2019s Logics, Revisited"],"prefix":"10.1007","author":[{"given":"Hitoshi","family":"Omori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"2","key":"31_CR1","first-page":"33","volume":"4","author":"AL Araujo de","year":"1987","unstructured":"de Araujo, A.L., Alves, E.H., Guerzoni, J.A.D.: Some relations between modal and paraconsistent logic. J. Non-Class. Logic 4(2), 33\u201344 (1987)","journal-title":"J. Non-Class. Logic"},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11225-010-9296-9","volume":"97","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Avron, A., Zamansky, A.: Maximal and premaximal paraconsistency in the framework of three-valued semantics. Stud. Logica. 97, 31\u201360 (2011)","journal-title":"Stud. Logica."},{"issue":"4","key":"31_CR3","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1305\/ndjfl\/1093636764","volume":"27","author":"M Baaz","year":"1986","unstructured":"Baaz, M.: Kripke-Type Semantics for Da Costa\u2019s Paraconsistent Logic C\n            $$_\\omega $$\n            \n              \n                \n                  \n                  \u03c9\n                \n              \n            \n          . Notre Dame J. Formal Logic 27(4), 523\u2013527 (1986)","journal-title":"Notre Dame J. Formal Logic"},{"key":"31_CR4","first-page":"99","volume":"15","author":"J-Y B\u00e9ziau","year":"2006","unstructured":"B\u00e9ziau, J.-Y.: The paraconsistent Logic Z-A possible solution to Ja\u015bkowski\u2019s problem. Logic Logical Philos. 15, 99\u2013111 (2006)","journal-title":"Logic Logical Philos."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Lima-Marques, M.: Society semantics and multiple-valued logics. In: Contemporary Mathematics, vol. 235, pp. 33\u201352. American Mathematical Society (1999)","DOI":"10.1090\/conm\/235\/03464"},{"key":"31_CR6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1305\/ndjfl\/1163775444","volume":"47","author":"J Ciuciura","year":"2006","unstructured":"Ciuciura, J.: A quasi-discursive system ND\n            $$_2^+$$\n            \n              \n                \n                  \n                  2\n                  +\n                \n              \n            \n          . Notre Dame J. Formal Logic 47, 371\u2013384 (2006)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"2","key":"31_CR7","first-page":"81","volume":"37","author":"J Ciuciura","year":"2008","unstructured":"Ciuciura, J.: Frontiers of the discursive logic. Bull. Sect. Logic 37(2), 81\u201392 (2008)","journal-title":"Bull. Sect. Logic"},{"key":"31_CR8","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"31_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"M Dunn","year":"1976","unstructured":"Dunn, M.: Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philos. Stud. 29(3), 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"issue":"5","key":"31_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10469-007-0029-8","volume":"46","author":"AB Gordienko","year":"2007","unstructured":"Gordienko, A.B.: A paraconsistent extension of Sylvan\u2019s logic. Algebra Logic 46(5), 289\u2013296 (2007)","journal-title":"Algebra Logic"},{"key":"31_CR11","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S Ja\u015bkowski","year":"1969","unstructured":"Ja\u015bkowski, S.: Propositional calculus for contradictory deductive systems. Stud. Logica 24, 143\u2013157 (1969)","journal-title":"Stud. Logica"},{"key":"31_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.12775\/LLP.1999.003","volume":"7","author":"S Ja\u015bkowski","year":"1999","unstructured":"Ja\u015bkowski, S.: A propositional calculus for inconsistent deductive systems. Logic Logical Philos. 7, 35\u201356 (1999)","journal-title":"Logic Logical Philos."},{"key":"31_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.12775\/LLP.1999.004","volume":"7","author":"S Ja\u015bkowski","year":"1999","unstructured":"Ja\u015bkowski, S.: On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Logic Logical Philos. 7, 57\u201359 (1999)","journal-title":"Logic Logical Philos."},{"issue":"5","key":"31_CR14","doi-asserted-by":"crossref","first-page":"1061","DOI":"10.1007\/s11225-012-9420-0","volume":"101","author":"B Kooi","year":"2013","unstructured":"Kooi, B., Tamminga, A.: Three-valued logics in modal logic. Stud. Logica 101(5), 1061\u20131072 (2013)","journal-title":"Stud. Logica"},{"issue":"1\/2","key":"31_CR15","first-page":"145","volume":"7","author":"RA Lewin","year":"1990","unstructured":"Lewin, R.A., Mikenberg, I.F., Schwarze, M.G.: Algebraization of paraconsistent logic P\n            $$^1$$\n            \n              \n                \n                  \n                  1\n                \n              \n            \n          . J. Non-Class. Logic 7(1\/2), 145\u2013154 (1990)","journal-title":"J. Non-Class. Logic"},{"key":"31_CR16","unstructured":"Marcos, J.: On a problem of da costa. In: Essays on the Foundations of Mathematics and Logic, pp. 53\u201369. Polimetrica (2005)"},{"issue":"3\u20134","key":"31_CR17","first-page":"215","volume":"41","author":"M Nasieniewski","year":"2012","unstructured":"Nasieniewski, M., Pietruszczak, A.: On the weakest modal logics defining Ja\u015bkowski\u2019s logic D\n            $$_{2}$$\n            \n              \n                \n                  \n                  2\n                \n              \n            \n           and the \n            $$\\text{ D }_2$$\n            \n              \n                \n                  \n                  D\n                  \n                    \n                    2\n                  \n                \n              \n            \n          -consequence. Bull. Sect. Logic 41(3\u20134), 215\u2013232 (2012)","journal-title":"Bull. Sect. Logic"},{"key":"31_CR18","series-title":"Logic, Epistemology, and the Unity of Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-94-007-4438-7_9","volume-title":"Paraconsistency: Logic and Applications","author":"M Nasieniewski","year":"2013","unstructured":"Nasieniewski, M., Pietruszczak, A.: On modal logics defining Ja\u015bkowski\u2019s D2-consequence. In: Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.) Paraconsistency: Logic and Applications. Logic, Epistemology, and the Unity of Science, vol. 26, pp. 141\u2013161. Springer, Dordrecht (2013). doi:\n10.1007\/978-94-007-4438-7_9"},{"key":"31_CR19","unstructured":"Omori, H., Alama, J.: Axiomatizing Ja\u015bkowski\u2019s Discussive Logic D\n            $$_2$$\n            \n              \n                \n                  \n                  2\n                \n              \n            \n           (under review)"},{"issue":"1","key":"31_CR20","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philos. Logic 8(1), 219\u2013241 (1979)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"31_CR21","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF01058534","volume":"54","author":"AP Pynko","year":"1995","unstructured":"Pynko, A.P.: Algebraic study of Sette\u2019s maximal paraconsistent logic. Stud. Logica 54(1), 89\u2013128 (1995)","journal-title":"Stud. Logica"},{"key":"31_CR22","first-page":"173","volume":"16","author":"A Sette","year":"1973","unstructured":"Sette, A.: On the propositional calculus P\n            $$^1$$\n            \n              \n                \n                  \n                  1\n                \n              \n            \n          . Math. Japonicae 16, 173\u2013180 (1973)","journal-title":"Math. Japonicae"},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01053037","volume":"55","author":"A Sette","year":"1995","unstructured":"Sette, A., Carnielli, W.: Maximal weakly-intuitionistic logics. Stud. Logica 55, 181\u2013203 (1995)","journal-title":"Stud. Logica"},{"issue":"1\u20132","key":"31_CR24","first-page":"129","volume":"19","author":"T Waragai","year":"2010","unstructured":"Waragai, T., Omori, H.: Some new results on PCL1 and its related systems. Logic Logical Philos. 19(1\u20132), 129\u2013158 (2010)","journal-title":"Logic Logical Philos."},{"key":"31_CR25","unstructured":"Waragai, T., Shidori, T.: A system of paraconsistent logic that has the notion of \u201cbehaving classically\u201d in terms of the law of double negation and its relation to S5. In: B\u00e9ziau, J.Y., Carnielli, W.A., Gabbay, D. (eds.) Handbook of Paraconsistency, pp. 177\u2013187. College Publications (2007)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T16:14:46Z","timestamp":1505146486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}