{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T18:17:46Z","timestamp":1759342666284,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,11,10]],"date-time":"2018-11-10T00:00:00Z","timestamp":1541808000000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10992-018-9494-x","type":"journal-article","created":{"date-parts":[[2018,11,10]],"date-time":"2018-11-10T04:13:24Z","timestamp":1541823204000},"page":"787-808","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4843-0328","authenticated-orcid":false,"given":"Yaroslav","family":"Shramko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Zaitsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Belikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,10]]},"reference":[{"key":"9494_CR1","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s11225-017-9739-7","volume":"105","author":"H Albuquerque","year":"2017","unstructured":"Albuquerque, H., P\u0159enosil, A., Rivieccio, U. (2017). An algebraic view of super-Belnap logics. Studia Logica, 105, 1051\u20131086.","journal-title":"Studia Logica"},{"key":"9494_CR2","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2268750","volume":"21","author":"W Ackermann","year":"1956","unstructured":"Ackermann, W. (1956). Begr\u00fcndung einer strengen Implikation. Journal of Symbolic Logic, 21, 113\u2013128.","journal-title":"Journal of Symbolic Logic"},{"key":"9494_CR3","volume-title":"Entailment: the logic of relevance and necessity (Vol. I)","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., & Belnap, N.D. (1975). Entailment: the logic of relevance and necessity (Vol. I). Princeton: Princeton University Press."},{"key":"9494_CR4","doi-asserted-by":"crossref","DOI":"10.1515\/9781400887071","volume-title":"Entailment: the logic of relevance and necessity (Vol. II)","author":"AR Anderson","year":"1992","unstructured":"Anderson, A.R., Belnap, N.D., Dunn, J.M. (1992). Entailment: the logic of relevance and necessity (Vol. II). Princeton: Princeton University Press."},{"key":"9494_CR5","unstructured":"Avron, A., & E. Or\u0142owska. (2003). Classical Gentzen-type methods in propositional many-valued logics. In M. Fitting (Ed.) , Beyond two: theory and applications of multiple-valued logic (pp. 117\u2013155). Berlin\u2013Heidelberg: Springer."},{"key":"9494_CR6","unstructured":"Belnap, N.D. (1977). A useful four-valued logic. In J.M. Dunn, & G. Epstein (Eds.) , Modern uses of multiple-valued logic (pp. 8\u201337). Dordrecht: D. Reidel Publishing Company."},{"key":"9494_CR7","unstructured":"Belnap, N.D. (1977). How a computer should think. In G. Ryle (Ed.) , Contemporary aspects of philosophy (pp. 30\u201355). London: Oriel Press."},{"key":"9494_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04997-6","volume-title":"Incomplete information: structure, inference, complexity","author":"S Demri","year":"2002","unstructured":"Demri, S., & Orlowska, E. (2002). Incomplete information: structure, inference, complexity. Berlin: Springer."},{"key":"9494_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M. (1976). Intuitive semantics for first-degree entailment and coupled trees. Philosophical Studies, 29, 149\u2013168.","journal-title":"Philosophical Studies"},{"key":"9494_CR10","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.M. (1995). Positive modal logic. Studia Logica, 55, 301\u2013317.","journal-title":"Studia Logica"},{"key":"9494_CR11","unstructured":"Dunn, J.M. (1999). A comparative study of various model-theoretic treatmets of negation: a history of formal negation. In D.M. Gabbay, & H. Wansing (Eds.) , What is negation? (pp. 23\u201351). Dordrecht\/Boston\/London: Kluwer Academic Publishers."},{"key":"9494_CR12","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"66","author":"JM Dunn","year":"2000","unstructured":"Dunn, J.M. (2000). Partiality and its dual. Studia Logica, 66, 5\u201340.","journal-title":"Studia Logica"},{"key":"9494_CR13","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.M., & Hardegree, G.M. (2001). Algebraic methods in philosophical logic. Oxford, New York: Clarendon Press, Oxford University Press."},{"key":"9494_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF00274066","volume":"18","author":"MC Fitting","year":"1989","unstructured":"Fitting, M.C. (1989). Bilattices and the theory of truth. Journal of Philosophical Logic, 18, 225\u2013256.","journal-title":"Journal of Philosophical Logic"},{"key":"9494_CR15","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J.M. (1997). Belnap\u2019s four-valued logic and De Morgan lattices. Logic Journal of the IGPL, 5, 413\u2013440.","journal-title":"Logic Journal of the IGPL"},{"key":"9494_CR16","first-page":"41","volume":"33","author":"S Frankowski","year":"2004","unstructured":"Frankowski, S. (2004). Formalization of a plausible inference. Bulletin of the Section of Logic, 33, 41\u201352.","journal-title":"Bulletin of the Section of Logic"},{"key":"9494_CR17","first-page":"145","volume":"25","author":"C Hartonas","year":"2017","unstructured":"Hartonas, C. (2017). Order-dual relational semantics for non-distributive propositional logics. Logic Journal of the IGPL, 25, 145\u2013182.","journal-title":"Logic Journal of the IGPL"},{"key":"9494_CR18","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The connectives. Cambridge: MIT Press."},{"key":"9494_CR19","unstructured":"Labuschagne, W., Heidema, J., Britz, K. (2013). Supraclassical consequence relations. In S. Cranefield, & A. Nayak (Eds.) , AI 2013: advances in artificial intelligence. AI 2013. Lecture Notes in Computer Science (Vol. 8272, pp. 326\u2013337). Cham: Springer."},{"key":"9494_CR20","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1111\/j.1468-0114.1991.tb00415.x","volume":"72","author":"JJ MacIntosh","year":"1991","unstructured":"MacIntosh, J.J. (1991). Adverbially qualified truth values. Pacific Philosophical Quarterly, 72, 131\u2013142.","journal-title":"Pacific Philosophical Quarterly"},{"key":"9494_CR21","first-page":"49","volume":"24","author":"G Malinowski","year":"1990","unstructured":"Malinowski, G. (1990). Q-consequence operation. Reports on Mathematical Logic, 24, 49\u201359.","journal-title":"Reports on Mathematical Logic"},{"key":"9494_CR22","unstructured":"Marcos, J. (2011). The value of the two values. In J.-Y. Beziau, M.E. Coniglio (Eds.), Logic without frontiers: festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday (pp. 277\u2013294). (Tributes), College Publications."},{"key":"9494_CR23","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s11225-014-9546-3","volume":"103","author":"S Odintsov","year":"2015","unstructured":"Odintsov, S., & Wansing, H. (2015). The logic of generalized truth-values and the logic of bilattices. Studia Logica, 103, 91\u2013112.","journal-title":"Studia Logica"},{"key":"9494_CR24","doi-asserted-by":"crossref","unstructured":"Omori, H., Wansing, H. (Eds.) (2017). 40 Years of FDE, Special Issue of Studia Logica, 105, Issue 6.","DOI":"10.1007\/s11225-017-9748-6"},{"key":"9494_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A Pietz","year":"2013","unstructured":"Pietz, A., & Rivieccio, U. (2013). Nothing but the truth. Journal of Philosophical Logic, 42, 125\u2013135.","journal-title":"Journal of Philosophical Logic"},{"key":"9494_CR26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic (2nd edn)","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic (2nd edn). Cambridge: Cambridge University Press."},{"key":"9494_CR27","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1305\/ndjfl\/1093958156","volume":"6","author":"N Rescher","year":"1965","unstructured":"Rescher, N. (1965). An intuitive interpretation of systems of four-valued logic. Notre Dame Journal of Formal Logic, 6, 154\u2013156.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9494_CR28","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1080\/11663081.2012.737154","volume":"22","author":"U Rivieccio","year":"2012","unstructured":"Rivieccio, U. (2012). An infinity of super-Belnap logics. Journal of Applied Non-Classical Logics, 22, 319\u2013335.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9494_CR29","unstructured":"Shramko, Y. (2016). Truth, falsehood, information and beyond: the American plan generalized. In K. Bimbo (Ed.), J. Michael Dunn on Information Based Logics. Outstanding Contributions to Logic, (Vol. 8, pp. 191\u2013212). Berlin: Springer."},{"key":"9494_CR30","unstructured":"Shramko, Y. (2018). First-degree entailment and structural reasoning, to appear. In H. Omori, H. Wansing (Eds.), New Essays on Belnap-Dunn Logic, Synthese Library."},{"key":"9494_CR31","unstructured":"Shramko, Y. (2018). Dual-Belnal logic and anaything but falsehood, to appear in: Journal of Applied Logic."},{"key":"9494_CR32","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/logcom\/11.6.761","volume":"11","author":"Y Shramko","year":"2001","unstructured":"Shramko, Y., Dunn, J.M., Takenaka, T. (2001). The trilaticce of constructive truth-values. Journal of Logic and Computation, 11, 761\u2013788.","journal-title":"Journal of Logic and Computation"},{"key":"9494_CR33","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10992-005-0556-5","volume":"34","author":"Y Shramko","year":"2005","unstructured":"Shramko, Y., & Wansing, H. (2005). Some useful sixteen-valued logics: how a computer network should think. Journal of Philosophical Logic, 34, 121\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"9494_CR34","first-page":"131","volume":"36","author":"Y Shramko","year":"2007","unstructured":"Shramko, Y., & Wansing, H. (2007). Entailment relations and\/as truth values. Bulletin of the Section of Logic, 36, 131\u2013143.","journal-title":"Bulletin of the Section of Logic"},{"key":"9494_CR35","doi-asserted-by":"publisher","first-page":"1291","DOI":"10.1007\/s11225-017-9747-7","volume":"105","author":"Y Shramko","year":"2017","unstructured":"Shramko, Y., Zaitsev, D., Belikov, A. (2017). First-degree entailment and its relatives. Studia Logica, 105, 1291\u20131317.","journal-title":"Studia Logica"},{"key":"9494_CR36","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF01053038","volume":"55","author":"D Vakarelov","year":"1995","unstructured":"Vakarelov, D. (1995). A duality between Pawlak\u2019s knowledge representation systems and bi-consequence systems. Studia Logica, 55, 205\u2013228.","journal-title":"Studia Logica"},{"key":"9494_CR37","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-008-9101-1","volume":"88","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J. (2008). Logic and reasoning: do the facts matter? Studia Logica, 88, 67\u201384.","journal-title":"Studia Logica"},{"key":"9494_CR38","unstructured":"Wansing, H., & Shramko, Y. (2008). A note on two ways of defining a many-valued logic. In M. Pelis (Ed.) The logica yearbook 2007 (pp. 255\u2013266). Filosofia: Prague."},{"key":"9494_CR39","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10992-015-9385-3","volume":"45","author":"S Wintein","year":"2016","unstructured":"Wintein, S., & Muskens, R. (2016). A Gentzen calculus for nothing but the truth. Journal of Philosophical Logic, 45, 451\u2013465.","journal-title":"Journal of Philosophical Logic"},{"key":"9494_CR40","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11225-009-9198-x","volume":"92","author":"D Zaitsev","year":"2009","unstructured":"Zaitsev, D. (2009). A few more useful 8-valued logics for reasoning with tetralattice E I G H T 4. Studia Logica, 92, 265\u2013280.","journal-title":"Studia Logica"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9494-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-018-9494-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-018-9494-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T07:08:36Z","timestamp":1720768116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-018-9494-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,10]]},"references-count":40,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["9494"],"URL":"https:\/\/doi.org\/10.1007\/s10992-018-9494-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2018,11,10]]},"assertion":[{"value":"21 March 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 November 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}