{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T00:13:10Z","timestamp":1782259990408,"version":"3.54.5"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T00:00:00Z","timestamp":1543795200000},"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":["Stud Logica"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s11225-018-9837-1","type":"journal-article","created":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T04:43:56Z","timestamp":1543812236000},"page":"1313-1346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Valuations: Bi, Tri, and Tetra"],"prefix":"10.1007","volume":"107","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0336-3101","authenticated-orcid":false,"given":"Rohan","family":"French","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3356-0771","authenticated-orcid":false,"given":"David","family":"Ripley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,12,3]]},"reference":[{"issue":"3","key":"9837_CR1","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M Ardeshir","year":"1998","unstructured":"Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I. Mathematical Logic Quarterly 44(3):317\u2013343, 1998.","journal-title":"Mathematical Logic Quarterly"},{"issue":"1","key":"9837_CR2","doi-asserted-by":"crossref","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(1):25\u201363, 1996.","journal-title":"Journal of Logic, Language and Information"},{"issue":"1","key":"9837_CR3","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A Avron","year":"1991","unstructured":"Avron, A., Natural 3-valued logics\u2014characterization and proof theory. The Journal of Symbolic Logic 56(1):276\u2013294, 1991.","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"9837_CR4","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129500001018","volume":"6","author":"A Avron","year":"1996","unstructured":"Avron, A., The structure of interlaced bilattices. Mathematical Structures in Computer Science 6(3):287\u2013299, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9837_CR5","first-page":"8","volume-title":"A useful four-valued logic, in Modern Uses of Multiple-Valued Logic","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.\u00a0D., A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, 1977, pp. 8\u201337."},{"key":"9837_CR6","first-page":"259","volume":"5","author":"A Bia\u0142nycki-Birula","year":"1957","unstructured":"Bia\u0142nycki-Birula, A., and H. Rasiowa, On the representation of quasi-Boolean algebras. Bulletin de l\u2019Acad\u00e9mie polonaise des sciences, Class III, 5:259\u2013261, 1957.","journal-title":"Bulletin de l\u2019Acad\u00e9mie polonaise des sciences, Class III"},{"key":"9837_CR7","unstructured":"Bimb\u00f3, K., and J.\u00a0M. Dunn, Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi. Number 188 in CSLI Lecture Notes. CSLI Publications, 2008."},{"key":"9837_CR8","volume-title":"Lattice theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G., Lattice theory. American Mathematical Society, New York, 3rd edition, 1967.","edition":"3"},{"key":"9837_CR9","doi-asserted-by":"crossref","unstructured":"Blamey, S., Partial logic, in D.\u00a0M. Gabbay, and F. Guenthner, (eds.), Handbook of philosophical logic, volume 3, Springer, 1st edition, 1986, pp. 1\u201370.","DOI":"10.1007\/978-94-009-5203-4_1"},{"key":"9837_CR10","doi-asserted-by":"crossref","unstructured":"Blamey, S., Partial logic, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of philosophical logic, volume\u00a05, Springer, 2nd edition, 2002, pp. 261\u2013353.","DOI":"10.1007\/978-94-017-0458-8_5"},{"issue":"3\/4","key":"9837_CR11","doi-asserted-by":"crossref","first-page":"233","DOI":"10.18778\/0138-0680.46.3.4.05","volume":"46","author":"C Blasio","year":"2017","unstructured":"Blasio, C., J. Marcos, and H. Wansing, An Inferentially Many-Valued Two-Dimensional Notion of Entailment. Bulletin of the Section of Logic 46(3\/4):233\u2013262, 2017.","journal-title":"Bulletin of the Section of Logic"},{"issue":"1","key":"9837_CR12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1093\/jigpal\/jzq041","volume":"19","author":"F Bou","year":"2011","unstructured":"Bou, F., and U. Rivieccio, The logic of distributive bilattices. Logic Journal of the IGPL 19(1):183\u2013216, 2011.","journal-title":"Logic Journal of the IGPL"},{"key":"9837_CR13","doi-asserted-by":"crossref","unstructured":"Caleiro, C., W. Carnielli, M.\u00a0E. Coniglio, and J. Marcos, Two\u2019s company: \u201cThe humbug of many logical values\u201d, in J.-Y. B\u00e9ziau, (ed.), Logica Universalis, Springer, 2007, pp. 175\u2013194.","DOI":"10.1007\/978-3-7643-8354-1_10"},{"key":"9837_CR14","first-page":"2193","volume":"27","author":"E Chemla","year":"2017","unstructured":"Chemla, E., P. \u00c9gr\u00e9, and B. Spector, Characterizing logical consequence in many-valued logic. Journal of Logic and Computation 27:2193\u20132226, 2017.","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"9837_CR15","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1111\/phc3.12030","volume":"8","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., Vagueness: Subvaluationism. Philosophy Compass 8(5):472\u2013485, 2013.","journal-title":"Philosophy Compass"},{"key":"9837_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.\u00a0A., and H.\u00a0A. Priestley, Introduction to Lattices and Order. Cambridge University Press, Cambridge, 2002."},{"issue":"3","key":"9837_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.\u00a0M., Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies 29(3):149\u2013168, 1976.","journal-title":"Philosophical studies"},{"key":"9837_CR18","doi-asserted-by":"crossref","unstructured":"Dunn, J.\u00a0M., Gaggle theory: An abstraction of Galois connections and residuation with applications to negations and various logical operators, in Logics in AI, Proceedings of European Workshop JELIA 1990, Berlin. LNCS, 1991, pp. 31\u201351.","DOI":"10.1007\/BFb0018431"},{"key":"9837_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic","author":"JM Dunn","year":"2001","unstructured":"Dunn, J.\u00a0M., and G.\u00a0M. Hardegree, Algebraic Methods in Philosophical Logic. Oxford University Press, Oxford, 2001."},{"issue":"1","key":"9837_CR20","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1111\/j.1749-6632.1993.tb52513.x","volume":"704","author":"M Ern\u00e9","year":"1993","unstructured":"Ern\u00e9, M., J. Koslowski, A. Melton, and G. Strecker, A primer on Galois connections. Annals of the New York Academy of Sciences 704(1):103\u2013125, 1993.","journal-title":"Annals of the New York Academy of Sciences"},{"issue":"3","key":"9837_CR21","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","volume":"18","author":"M Fitting","year":"1989","unstructured":"Fitting, M., Bilattices and the theory of truth. Journal of Philosophical Logic 18(3):225\u2013256, 1989.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9837_CR22","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M., Bilattices and the semantics of logic programming. Journal of Logic Programming 11(2):91\u2013116, 1991.","journal-title":"Journal of Logic Programming"},{"issue":"3\u20134","key":"9837_CR23","first-page":"161","volume":"37","author":"S Frankowski","year":"2008","unstructured":"Frankowski, S., Plausible reasoning expressed by p-consequence. Bulletin of the Section of Logic 37(3-4):161\u2013170, 2008.","journal-title":"Bulletin of the Section of Logic"},{"key":"9837_CR24","first-page":"23","volume":"45","author":"S Frankowski","year":"2010","unstructured":"Frankowski, S., On the lattice of p-consequences. Reports on Mathematical Logic 45:23\u201335, 2010.","journal-title":"Reports on Mathematical Logic"},{"issue":"5","key":"9837_CR25","first-page":"113","volume":"3","author":"R French","year":"2016","unstructured":"French, R., Structural reflexivity and the paradoxes of self-reference. Ergo 3(5):113\u2013131, 2016.","journal-title":"Ergo"},{"key":"9837_CR26","unstructured":"French, R., and D. Ripley, Two Traditions. Manuscript, 2018."},{"issue":"3","key":"9837_CR27","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.\u00a0L., Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence 4(3):265\u2013316, 1988.","journal-title":"Computational Intelligence"},{"key":"9837_CR28","volume-title":"Proof Theory and Logical Complexity","author":"J Girard","year":"1987","unstructured":"Girard, J., Proof Theory and Logical Complexity, volume I. Bibliopolis, Napoli, 1987."},{"key":"9837_CR29","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R Goldblatt","year":"1974","unstructured":"Goldblatt, R., Semantic analysis of orthologic. Journal of Philosophical Logic 3:19\u201335, 1974.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9837_CR30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s10992-004-6302-6","volume":"34","author":"GM Hardegree","year":"2005","unstructured":"Hardegree, G.\u00a0M., Completeness and super-valuations. Journal of Philosophical Logic 34(1):81\u201395, 2005.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9837_CR31","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2275401","volume":"59","author":"B H\u00f6sli","year":"1994","unstructured":"H\u00f6sli, B., and G. J\u00e4ger, About some symmetries of negation. Journal of Symbolic Logic 59(2):473\u2013485, 1994.","journal-title":"Journal of Symbolic Logic"},{"key":"9837_CR32","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF00183072","volume":"29","author":"L Humberstone","year":"1988","unstructured":"Humberstone, L., Heterogeneous logic. Erkenntnis 29:395\u2013435, 1988.","journal-title":"Erkenntnis"},{"issue":"1","key":"9837_CR33","doi-asserted-by":"crossref","first-page":"9","DOI":"10.2977\/prims\/1195163180","volume":"32","author":"L Humberstone","year":"1996","unstructured":"Humberstone, L., Classes of valuations closed under operations Galois-dual to Boolean sentence connectives. Publications of the Research Institute for Mathematical Sciences 32(1):9\u201384, 1996.","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"9837_CR34","volume-title":"The Connectives","author":"L Humberstone","year":"2012","unstructured":"Humberstone, L., The Connectives. MIT Press, Cambridge, Massachusetts, 2012."},{"key":"9837_CR35","unstructured":"Humberstone, L., Sentence connectives in formal logic, in E.\u00a0N. Zalta, (eds.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2016 edition, 2016."},{"issue":"106","key":"9837_CR36","first-page":"119","volume":"27","author":"A Lopari\u0107","year":"1984","unstructured":"Lopari\u0107, A., and N. C.\u00a0A. da\u00a0Costa, Paraconsistency, paracompleteness, and valuations. Logique et Analyse 27(106):119\u2013131, 1984.","journal-title":"Logique et Analyse"},{"key":"9837_CR37","first-page":"49","volume":"24","author":"G Malinowski","year":"1990","unstructured":"Malinowski, G., Q-consequence operation. Reports on Mathematical Logic 24:49\u201359, 1990.","journal-title":"Reports on Mathematical Logic"},{"key":"9837_CR38","doi-asserted-by":"crossref","unstructured":"Malinowski, G., Inferential many-valuedness, in J. Wole\u0144ski, (ed.), Philosophical logic in Poland, Springer, 1994, pp. 75\u201384.","DOI":"10.1007\/978-94-015-8273-5_6"},{"key":"9837_CR39","volume-title":"Meaning and Partiality","author":"R Muskens","year":"1995","unstructured":"Muskens, R., Meaning and Partiality. CSLI Publications, 1995."},{"key":"9837_CR40","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O., Galois Connexions. Transactions of the American Mathematical Society 55:493\u2013513, 1944.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9837_CR41","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-Classical Logic: From If to Is","author":"G Priest","year":"2008","unstructured":"Priest, G., An Introduction to Non-Classical Logic: From If to Is. Cambridge University Press, Cambridge, 2nd edition, 2008.","edition":"2"},{"key":"9837_CR42","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, volume\u00a078 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1974."},{"key":"9837_CR43","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-015-9309-0_3","volume-title":"What is Negation?","author":"G Restall","year":"1999","unstructured":"Restall, G., Negation in relevant logics: How I stopped worrying and learned to love the Routley star, in D. Gabbay, and H. Wansing, (eds.), What is Negation?, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999, pp. 53\u201376."},{"issue":"1","key":"9837_CR44","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D., Paradoxes and failures of cut. Australasian Journal of Philosophy 91(1):139\u2013164, 2013.","journal-title":"Australasian Journal of Philosophy"},{"issue":"5","key":"9837_CR45","first-page":"1","volume":"13","author":"D Ripley","year":"2013","unstructured":"Ripley, D., Revising up: Strengthening classical logic in the face of paradox. Philosophers\u2019 Imprint 13(5):1\u201313, 2013.","journal-title":"Philosophers\u2019 Imprint"},{"key":"9837_CR46","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1215\/00294527-2017-0025","volume":"59","author":"D Ripley","year":"2018","unstructured":"Ripley, D., Blurring: An approach to conflation. Notre Dame Journal of Formal Logic 59:171\u2013188, 2018.","journal-title":"Notre Dame Journal of Formal Logic."},{"key":"9837_CR47","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/logcom\/exx039","volume":"28","author":"D Ripley","year":"2018","unstructured":"Ripley, D., On the \u2018transitivity\u2019 of consequence relations. Journal of Logic and Computation 28:433\u2013450, 2018.","journal-title":"Journal of Logic and Computation."},{"key":"9837_CR48","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1016\/S0049-237X(08)71542-8","volume-title":"Truth, Syntax, and Modality","author":"D Scott","year":"1973","unstructured":"Scott, D., Background to formalization, in H. Leblanc, (ed.), Truth, Syntax, and Modality. North-Holland Publishing Company, Amsterdam, 1973, pp. 244\u2013273."},{"key":"9837_CR49","doi-asserted-by":"crossref","unstructured":"Scott, D., Completeness and axiomatizability in many-valued logic, in L. Henkin, (ed.), Proceedings of the Tarski Symposium, American Mathematical Society, Providence, Rhode Island, 1974, pp. 411\u2013436.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"9837_CR50","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion Logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D.\u00a0J., and T.\u00a0J. Smiley, Multiple-conclusion Logic. Cambridge University Press, Cambridge, 1978."},{"issue":"4","key":"9837_CR51","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s10849-006-9015-0","volume":"15","author":"Y Shramko","year":"2006","unstructured":"Shramko, Y., and H. Wansing, Hyper-contradictions, generalized truth values, and logics of truth and falsehood. Journal of Logic, Language, and Information 15(4):403\u2013424, 2006.","journal-title":"Journal of Logic, Language, and Information"},{"key":"9837_CR52","first-page":"131","volume":"36","author":"Y Shramko","year":"2007","unstructured":"Shramko, Y., and H. Wansing, Entailment relations and\/as truth values. Bulletin of the Section of Logic 36:131\u2013143, 2007.","journal-title":"Bulletin of the Section of Logic"},{"key":"9837_CR53","doi-asserted-by":"crossref","unstructured":"Shramko, Y., and H. Wansing, Truth and Falsehood: An Inquiry into Generalized Logical Values, volume\u00a036 of Trends in Logic. Springer, 2011.","DOI":"10.1007\/978-94-007-0907-2"},{"issue":"4","key":"9837_CR54","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF02120672","volume":"36","author":"R Suszko","year":"1977","unstructured":"Suszko, R., The Fregean axiom and Polish mathematical logic in the 1920\u2019s. Studia Logica 36(4):377\u2013380, 1977.","journal-title":"Studia Logica"},{"issue":"2","key":"9837_CR55","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/A:1005020217249","volume":"60","author":"M Tsuji","year":"1998","unstructured":"Tsuji, M., Many-valued logics and Suszko\u2019s Thesis revisited. Studia Logica 60(2):299\u2013309, 1998.","journal-title":"Studia Logica"},{"issue":"3","key":"9837_CR56","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s11225-008-9111-z","volume":"88","author":"H Wansing","year":"2008","unstructured":"Wansing, H., and Y. Shramko, Suszko\u2019s Thesis, inferential many-valuedness, and the notion of a logical system. Studia Logica 88(3):405\u2013429, 2008.","journal-title":"Studia Logica"},{"key":"9837_CR57","unstructured":"Wansing, H., and Y. Shramko, Erratum to \u2018Suszko\u2019s Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica, 88:405\u2013429, 2008\u2019. Studia Logica 89:147, 2008."},{"key":"9837_CR58","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of logical calculi","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R., Theory of logical calculi. Springer Science & Business Media, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9837-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-018-9837-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-018-9837-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T23:12:58Z","timestamp":1720825978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-018-9837-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,3]]},"references-count":58,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9837"],"URL":"https:\/\/doi.org\/10.1007\/s11225-018-9837-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,3]]},"assertion":[{"value":"16 April 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2018","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}