{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T14:25:49Z","timestamp":1648823149341},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T00:00:00Z","timestamp":1504828800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Chinese National Foundation of Social Sciences and Humanities","award":["16CZX049"],"award-info":[{"award-number":["16CZX049"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s11225-017-9755-7","type":"journal-article","created":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T13:43:37Z","timestamp":1505137417000},"page":"565-593","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Sequent Calculi for Semi-De Morgan and De Morgan Algebras"],"prefix":"10.1007","volume":"106","author":[{"given":"Minghui","family":"Ma","sequence":"first","affiliation":[]},{"given":"Fei","family":"Liang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,8]]},"reference":[{"key":"9755_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson,\u00a0A.R., and N.D.\u00a0Belnap, Entailment: The Logic of Relevance and Necessity, Vol. 1. Princeton University Press, Princeton, 1975."},{"key":"9755_CR2","doi-asserted-by":"crossref","unstructured":"Arieli,\u00a0O., and A.\u00a0Avron, Reasoning with logical bilattices. Journal of Logic, Language and Information 5: 25\u201363, 1996.","DOI":"10.1007\/BF00215626"},{"key":"9755_CR3","unstructured":"Avron,\u00a0A., Negation: two points of view. In: D. Gabbay and H. Wansing (eds.). What is Negation?. Kluwer Academic Publishers, 1999, pp. 3\u201322."},{"issue":"5","key":"9755_CR4","first-page":"159","volume":"III","author":"A Bialynicki-Birula","year":"1957","unstructured":"Bialynicki-Birula,\u00a0A., and H.\u00a0Rasiowa, On the representation of quasi-Boolean algebras. Bulletin of the Polish Academy of Science, Cl. III (5): 159\u2013261, 1957.","journal-title":"Bulletin of the Polish Academy of Science, Cl."},{"key":"9755_CR5","unstructured":"Balbes,\u00a0R., and P.\u00a0Dwinger, Distributive Lattices. Abstract Space Publishing, 2011."},{"key":"9755_CR6","doi-asserted-by":"crossref","unstructured":"Bou,\u00a0F., and U.\u00a0Rivieccio, The logic of distributive bilattices. Logic Journal of the IGPL 19(1): 183\u2013216, 2011.","DOI":"10.1093\/jigpal\/jzq041"},{"issue":"4","key":"9755_CR7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1305\/ndjfl\/1093870147","volume":"23","author":"JM Dunn","year":"1982","unstructured":"Dunn,\u00a0J.M., A relational representation of quasi-Boolean algebras. Notre Dame Journal of Formal Logic 23(4): 353\u2013357, 1982.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9755_CR8","unstructured":"Dunn, J.M., Generalised ortho negation, In: H. Wansing (ed.). Negation: A Notion in Focus. Walter de Gruyter, Berlin, 1996, pp. 3\u201326."},{"key":"9755_CR9","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G Gentzen","year":"1936","unstructured":"Gentzen,\u00a0G., Die Widerspruchsfreiheit der reinen Zahlentheorie. Mathematische Annalen 112: 493\u2013565, 1936.","journal-title":"Mathematische Annalen"},{"key":"9755_CR10","first-page":"34","volume":"4","author":"K G\u00f6del","year":"1933","unstructured":"G\u00f6del,\u00a0K., Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines Mathematischen Kolloquiums 4: 34\u201338, 1933.","journal-title":"Ergebnisse eines Mathematischen Kolloquiums"},{"issue":"1\/2","key":"9755_CR11","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00370145","volume":"56","author":"D Hobby","year":"1996","unstructured":"Hobby,\u00a0D., Semi-De Morgan algebras. Studia Logica 56(1\/2): 151\u2013183, 1996.","journal-title":"Studia Logica"},{"issue":"4","key":"9755_CR12","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1002\/malq.201010016","volume":"57","author":"N Kamide","year":"2011","unstructured":"Kamide,\u00a0N., Notes on Craig interpolation for LJ with strong negation. Mathematical Logic Quarterly 57(4): 395\u2013399, 2011.","journal-title":"Mathematical Logic Quarterly"},{"issue":"3","key":"9755_CR13","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/s10469-008-9012-2","volume":"47","author":"LL Maksimova","year":"2008","unstructured":"Maksimova,\u00a0L.L., and E.\u00a0Orlowska, The Beth property and interpolation in lattice-based algebras and logics. Algebra and Logic 47(3): 176\u2013192, 2008.","journal-title":"Algebra and Logic"},{"key":"9755_CR14","doi-asserted-by":"crossref","unstructured":"Negri,\u00a0S., and J. von. Plato, Structural Proof Theory. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9780511527340"},{"issue":"4","key":"9755_CR15","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1023\/A:1022890312632","volume":"98","author":"C Palma","year":"2003","unstructured":"Palma,\u00a0C., and R.\u00a0Santos, On a subvariety of semi-De Morgan algebras. Acta Mathematica Hungarica 98(4): 323\u2013328, 2003.","journal-title":"Acta Mathematica Hungarica"},{"key":"9755_CR16","doi-asserted-by":"crossref","unstructured":"Restall, G., Defining double negation elimination. Logic Journal of IGPL 8(6): 853\u2013860, 2000.","DOI":"10.1093\/jigpal\/8.6.853"},{"key":"9755_CR17","doi-asserted-by":"crossref","unstructured":"Restall,\u00a0G., An introduction to substructural logics. Routledge, 2002.","DOI":"10.4324\/9780203016244"},{"key":"9755_CR18","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa,\u00a0H., An Algebraic Approach to Non-Classical Logics. North-Holland Co., Amsterdam, 1974."},{"issue":"3","key":"9755_CR19","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1017\/S0022481200029716","volume":"52","author":"HP Sankappanavar","year":"1987","unstructured":"Sankappanavar,\u00a0H.P., Semi-De morgan algebras. The Journal of Symbolic Logic 52(3): 712\u2013724, 1987.","journal-title":"The Journal of Symbolic Logic"},{"key":"9755_CR20","doi-asserted-by":"crossref","unstructured":"Saha, A., J. Sen and M. K. Chakraborty, Algebraic structures in the vicinity of pre-rough algebra and their logics. Information Sciences 282: 296\u2013320, 2014.","DOI":"10.1016\/j.ins.2014.06.004"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9755-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9755-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9755-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T09:11:47Z","timestamp":1570093907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9755-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,8]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9755"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9755-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,8]]}}}