{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:31:31Z","timestamp":1740123091881,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T00:00:00Z","timestamp":1618963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s11225-020-09939-6","type":"journal-article","created":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T23:04:51Z","timestamp":1619046291000},"page":"1241-1271","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7736-8055","authenticated-orcid":false,"given":"Norihiro","family":"Kamide","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,21]]},"reference":[{"issue":"1","key":"9939_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A Almukdad","year":"1984","unstructured":"Almukdad, A., and D. Nelson, Constructible falsity and inexact predicates, Journal of Symbolic Logic 49(1):231-233, 1984.","journal-title":"Journal of Symbolic Logic"},{"key":"9939_CR2","first-page":"29","volume":"3","author":"H Aoyama","year":"2003","unstructured":"Aoyama, H., On a weak system of sequent calculus, Journal of Logical Philosophy 3:29\u201337, 2003.","journal-title":"Journal of Logical Philosophy"},{"key":"9939_CR3","first-page":"34","volume":"6","author":"H Aoyama","year":"2009","unstructured":"Aoyama, H., Dual-intuitionistic logic and some other logics, Journal of Logical Philosophy 6:34\u201356, 2009.","journal-title":"Journal of Logical Philosophy"},{"key":"9939_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5:25\u201363, 1996.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"9939_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O Arieli","year":"1998","unstructured":"Arieli, O., and A. Avron, The value of the four values, Artificial Intelligence 102(1):97\u2013141, 1998.","journal-title":"Artificial Intelligence"},{"key":"9939_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-94-010-1161-7_2","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N Belnap","year":"1977","unstructured":"Belnap, N., A useful four-valued logic, in G. Epstein, J.M. Dunn, (eds.) Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 5\u201337."},{"key":"9939_CR7","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N Belnap","year":"1977","unstructured":"Belnap, N., How a computer should think, in G. Ryle, (ed.) Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1977, pp. 30\u201356"},{"key":"9939_CR8","first-page":"111","volume-title":"Logic and Computation - Essays in Honor of Amilcar Sernadas","author":"J-Y B\u00e9ziau","year":"2017","unstructured":"B\u00e9ziau, J.-Y., Monosequent proof systems, in C. Caleiro, F. Dionisio, P. Gouveia, P. Mateus and J. Rasga (eds.), Logic and Computation \u2013 Essays in Honor of Amilcar Sernadas, College Publication, London, 2017, pp. 111\u2013137."},{"issue":"3","key":"9939_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1305\/ndjfl\/1063372199","volume":"42","author":"K Bimb\u00f3","year":"2001","unstructured":"Bimb\u00f3, K., and J.M. Dunn, Four-valued logic, Notre Dame Journal of Formal Logic 42(3):171\u2013192, 2001.","journal-title":"Notre Dame journal of Formal Logic"},{"key":"9939_CR10","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., and J. von Neumann, The logic of quantum mechanics, Annals of Mathematics 37:823\u2013843, 1936.","journal-title":"Annals of Mathematics"},{"issue":"5","key":"9939_CR11","first-page":"63","volume":"8","author":"JRB Cockett","year":"2001","unstructured":"Cockett, J.R.B., and R.A.G. Seely, Finite sum-product logic, Theory and Applications of Categories 8(5):63\u201399, 2001.","journal-title":"Theory and Applications of Categories"},{"issue":"3","key":"9939_CR12","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W Craig","year":"1957","unstructured":"Craig, W., Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, Journal of Symbolic Logic 22(3):269\u2013285, 1957.","journal-title":"Journal of Symbolic Logic"},{"key":"9939_CR13","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M.L., and R. Giuntini, Paraconsistent quantum logics, Foundations of Physics 19(7):891\u2013904, 1989.","DOI":"10.1007\/BF01889304"},{"key":"9939_CR14","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M., Intuitive semantics for first-degree entailment and \u2018coupled trees\u2019, Philosophical Studies 29:149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9939_CR15","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic, Oxford","author":"JM Dunn","year":"2001","unstructured":"Dunn, J.M., and G.M. Hardegree, Algebraic Methods in Philosophical Logic, Clarendon Press, Oxford University Press, Oxford, New York, 2001."},{"issue":"1","key":"9939_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1026652903971","volume":"37","author":"C Faggian","year":"1998","unstructured":"Faggian, C., and G. Sambin, From basic logic to quantum logics with cut-elimination, International Journal of Theoretical Physics 37(1):31\u201337, 1998.","journal-title":"International Journal of Theoretical Physics"},{"key":"9939_CR17","first-page":"243","volume-title":"Multi-valued logics, Proceedings of the 5th National Conference on Artificial Intelligence (AAAI-86)","author":"M Ginsberg","year":"1986","unstructured":"Ginsberg, M., Multi-valued logics, in Proceedings of the 5th National Conference on Artificial Intelligence (AAAI-86), Morgan Kaufman Publishers, Los Altos, 1986, pp. 243\u2013247."},{"key":"9939_CR18","first-page":"256","volume":"4","author":"M Ginsberg","year":"1988","unstructured":"Ginsberg, M., Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4:256\u2013316, 1988.","journal-title":"Computational Intelligence"},{"key":"9939_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y., Intuitionistic logic with strong negation, Studia Logica 36:49\u201359, 1977.","journal-title":"Studia Logica"},{"issue":"2","key":"9939_CR20","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1093\/jigpal\/jzv051","volume":"24","author":"C Hartonas","year":"2016","unstructured":"Hartonas, C., Modal and temporal extensions of non-distributive propositional logics, Logic Journal of the IGPL 24(2):156\u2013185, 2016.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"9939_CR21","first-page":"145","volume":"25","author":"C Hartonas","year":"2017","unstructured":"Hartonas, C., Order-dual relational semantics for non-distributive propositional logics, Logic Journal of the IGPL 25(2):145\u2013182, 2017","journal-title":"Logic Journal of the IGPL"},{"key":"9939_CR22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The Connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L., The Connectives, MIT Press, Cambridge, 2011."},{"issue":"2","key":"9939_CR23","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s10992-017-9428-z","volume":"47","author":"N Kamide","year":"2018","unstructured":"Kamide, N., Proof theory of paraconsistent quantum logic, Journal of Philosophical Logic 47(2):301\u2013324, 2018.","journal-title":"Journal of Philosophical Logic"},{"issue":"4\u20135","key":"9939_CR24","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1002\/malq.201700012","volume":"64","author":"N Kamide","year":"2018","unstructured":"Kamide, N., Extending paraconsistent quantum logic: A single-antecedent\/ succedent system approach, Mathematical Logic Quarterly 64 (4\u20135):371\u2013386, 2018.","journal-title":"Mathematical Logic Quarterly"},{"issue":"1","key":"9939_CR25","first-page":"59","volume":"7","author":"N Kamide","year":"2020","unstructured":"Kamide, N., Some properties for first-order Nelsonian paraconsistent quantum logic, Journal of Applied Logics - IfCoLog Journal of Logics and their Applications 7(1):59\u201388, 2020.","journal-title":"Journal of Applied Logics - IfCoLog Journal of Logics and their Applications"},{"key":"9939_CR26","doi-asserted-by":"crossref","unstructured":"Kamide, N., Lattice logic, bilattice logic and paraconsistent quantum logic: A unified framework based on monosequent systems, Journal of Philosophical Logic, Online First, 2021.","DOI":"10.1109\/ISMVL51352.2021.00014"},{"issue":"5","key":"9939_CR27","first-page":"1549","volume":"27","author":"N Kamide","year":"2017","unstructured":"Kamide, N., and Y. Shramko, Embedding from multilattice logic into classical logic and vice versa, Journal of Logic and Computation 27(5):1549\u20131575, 2017.","journal-title":"Journal of Logic and Computation"},{"key":"9939_CR28","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BF02483891","volume":"12","author":"JS M\u00f6nting","year":"1981","unstructured":"M\u00f6nting, J.S., Cut elimination and word problems for varieties of lattices, Algebra Universalis 12:290\u2013321, 1981.","journal-title":"Algebra Universalis"},{"key":"9939_CR29","doi-asserted-by":"publisher","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D Nelson","year":"1949","unstructured":"Nelson, D., Constructible falsity, Journal of Symbolic Logic 14:16\u201326, 1949.","journal-title":"Journal of Symbolic Logic"},{"key":"9939_CR30","unstructured":"O\u0142owska, E., and D. Vakarelov, Lattice-based modal algebras and modal logics, in: Logic, Methodology and Philosophy of Science, Proceedings of the 12th International Congress, King\u2019s College Publications, 2005, pp. 147\u2013170."},{"key":"9939_CR31","doi-asserted-by":"crossref","unstructured":"Rautenberg, W., Klassische und nicht-klassische Aussagenlogik, Vieweg, Braunschweig, 1979.","DOI":"10.1007\/978-3-322-85796-5"},{"issue":"4","key":"9939_CR32","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.2178\/jsl\/1129642117","volume":"70","author":"G Restall","year":"2005","unstructured":"Restall, G., and F. Paoli, The geometry of nondistributive logics, Journal of Symbolic Logic 70(4):1108\u20131126, 2005.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9939_CR33","doi-asserted-by":"publisher","first-page":"979","DOI":"10.2307\/2586685","volume":"65","author":"G Sambin","year":"2000","unstructured":"Sambin, G., C. Battilotti and C. Faggian, Basic logic: Reflection, symmetry, visibility, Journal of Symbolic Logic 65(3):979\u20131013, 2000.","journal-title":"Journal of Symbolic Logic"},{"key":"9939_CR34","doi-asserted-by":"crossref","unstructured":"Shramko, Y., Truth, falsehood, information and beyond: The American plan generalized, in K. Bimbo (ed.), J. Michael Dunn on Information Based Logics, vol 8 of Outstanding Contributions to Logic, Springer, 2016, pp. 191\u2013212.","DOI":"10.1007\/978-3-319-29300-4_11"},{"issue":"6","key":"9939_CR35","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/11.6.761","volume":"11","author":"Y Shramko","year":"2001","unstructured":"Shramko, Y., J.M. Dunn, and T. Takenaka, The trilattice of constructive truth values, Journal of Logic and Computation 11(6):761\u2013788, 2001.","journal-title":"Journal of Logic and Computation"},{"key":"9939_CR36","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10992-005-0556-5","volume":"34","author":"Y Shramko","year":"2005","unstructured":"Shramko, Y., and H. Wansing, Some useful sixteen-valued logics: How a computer network should think, Journal of Philosophical Logic 34:121\u2013153, 2005.","journal-title":"Journal of Philosophical Logic"},{"key":"9939_CR37","doi-asserted-by":"crossref","unstructured":"Shramko, Y., D. Zaitsev, and A. Belikov, The FMLA-FMLA axiomatizations of the exactly true and non-falsity logics and some of their cousins, Journal of Philosophical Logic 48(5):787\u2013808, 2019.","DOI":"10.1007\/s10992-018-9494-x"},{"key":"9939_CR38","first-page":"465","volume":"85","author":"NN Vorob\u2019ev","year":"1952","unstructured":"Vorob\u2019ev, N.N., A constructive propositional calculus with strong negation (in Russian), Doklady Akademii Nauk SSSR 85:465\u2013468, 1952.","journal-title":"Doklady Akademii Nauk SSSR"},{"issue":"2","key":"9939_CR39","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11225-009-9198-x","volume":"92","author":"D Zaitsev","year":"2009","unstructured":"Zaitsev, D., A few more useful 8-valued logics for reasoning with tetralattice $EIGHT_4$, Studia Logica 92(2):265\u2013280, 2009.","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09939-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09939-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09939-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T00:54:23Z","timestamp":1724892863000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09939-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,21]]},"references-count":39,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9939"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09939-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,4,21]]},"assertion":[{"value":"3 May 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 December 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}