{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T02:40:02Z","timestamp":1719369602694},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,8,8]],"date-time":"2017-08-08T00:00:00Z","timestamp":1502150400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11787-017-0177-0","type":"journal-article","created":{"date-parts":[[2017,8,8]],"date-time":"2017-08-08T17:29:26Z","timestamp":1502213366000},"page":"283-295","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Compositional Meaning in Logic"],"prefix":"10.1007","volume":"11","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,8]]},"reference":[{"key":"177_CR1","unstructured":"Arieli, O., Avron, A.: Minimal paradefinite logics for reasoning with incompleteness and inconsistency. In: Kesner, D., Pientka, B. (eds.) 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Volume 52 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 7:1\u20137:15 (2016)"},{"issue":"1\u20132","key":"177_CR2","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s10472-013-9333-2","volume":"73","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Zamansky, A.: A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. 73(1\u20132), 47\u201373 (2015)","journal-title":"Ann. Math. Artif. Intell."},{"key":"177_CR3","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/j.fss.2015.06.007","volume":"298","author":"O Arieli","year":"2016","unstructured":"Arieli, O., Zamansky, A.: A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. 298, 4\u201321 (2016)","journal-title":"Fuzzy Sets Syst."},{"key":"177_CR4","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1080\/11663081.2014.911515","volume":"24","author":"A Avron","year":"2014","unstructured":"Avron, A.: Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. J. Appl. Non-Class. Log. 24, 12\u201334 (2014)","journal-title":"J. Appl. Non-Class. Log."},{"key":"177_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-017-0173-4","author":"A Avron","year":"2017","unstructured":"Avron, A.: Self-extensional three-valued paraconsistent logics. Log. Univers. (2017). doi: 10.1007\/s11787-017-0173-4","journal-title":"Self-extensional three-valued paraconsistent logics. Log. Univers."},{"issue":"2","key":"177_CR6","first-page":"183","volume":"25","author":"A Avron","year":"2017","unstructured":"Avron, A., B\u00e9ziau, J.-Y.: Self-extensional three-valued paraconsistent logics have no implication. Log. J. IGPL 25(2), 183\u2013194 (2017)","journal-title":"Log. J. IGPL"},{"key":"177_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/j.ins.2014.11.003","volume":"296","author":"A Avron","year":"2015","unstructured":"Avron, A., Konikowska, B., Zamansky, A.: Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296, 219\u2013236 (2015)","journal-title":"Inf. Sci."},{"issue":"3","key":"177_CR8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A Avron","year":"2005","unstructured":"Avron, A., Lev, I.: Non-deterministic multiple-valued structures. J. Log. Comput. 15(3), 241\u2013261 (2005)","journal-title":"J. Log. Comput."},{"key":"177_CR9","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of Philosophical Logic","author":"A Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems-a survey. In: Dov, G., Franz, G. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 227\u2013304. Springer, Berlin (2011)"},{"issue":"4","key":"177_CR10","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10817-013-9273-x","volume":"51","author":"M Baaz","year":"2013","unstructured":"Baaz, M., Lahav, O., Zamansky, A.: Finite-valued semantics for canonical labelled calculi. J. Autom. Reason. 51(4), 401\u2013430 (2013)","journal-title":"J. Autom. Reason."},{"key":"177_CR11","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.tcs.2015.07.014","volume":"603","author":"P Baldi","year":"2015","unstructured":"Baldi, P., Ciabattoni, A.: Uniform proofs of standard completeness for extensions of first-order MTL. Theor. Comput. Sci. 603, 43\u201357 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"177_CR12","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.ins.2013.08.024","volume":"255","author":"B Bedregal","year":"2014","unstructured":"Bedregal, B., Reiser, R., Bustince, H., Lopez-Molina, C., Torra, V.: Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms. Inf. Sci. 255, 82\u201399 (2014)","journal-title":"Inf. Sci."},{"key":"177_CR13","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N Belnap","year":"1977","unstructured":"Belnap, N.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201356. Oriel Press, London (1977)"},{"key":"177_CR14","doi-asserted-by":"crossref","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: Michael Dunn, J., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5\u201337. Springer, Berlin (1977)"},{"key":"177_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"177_CR16","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic, Volume 3 of Studies in Logic and Practical Reasoning. Elsevier, Amsterdam (2006)"},{"key":"177_CR17","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Carnielli, W., Coniglio, M.E., Marcos, J.: Two\u2019s company: \u201cThe humbug of many logical values\u201d. In: B\u00e9ziau, J.-Y. (ed.) Logica Universalis, pp. 169\u2013189. Birkh\u00e4user Verlag, Basel (2005)","DOI":"10.1007\/3-7643-7304-0_10"},{"key":"177_CR18","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Carnielli, W., Rasga, J., Sernadas, C.: Fibring of logics as a universal construction. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 13, 2nd edn, pp. 123\u2013187. Springer, Berlin (2005)","DOI":"10.1007\/1-4020-3521-7_2"},{"issue":"4","key":"177_CR19","first-page":"677","volume":"101","author":"C Caleiro","year":"2013","unstructured":"Caleiro, C., Gon\u00e7alves, R.: Abstract valuation semantics. Stud. Log. 101(4), 677\u2013712 (2013)","journal-title":"Abstract valuation semantics. Stud. Log."},{"key":"177_CR20","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.tcs.2015.07.016","volume":"603","author":"C Caleiro","year":"2015","unstructured":"Caleiro, C., Marcos, J., Volpe, M.: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. 603, 84\u2013110 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"177_CR21","doi-asserted-by":"crossref","unstructured":"Caleiro, C., Vigan\u00f2, L., Volpe, M.: A labeled deduction system for the logic UB. In: Proceedings of the 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), pp. 45\u201353. IEEE Computer Society Press (2013)","DOI":"10.1109\/TIME.2013.14"},{"key":"177_CR22","doi-asserted-by":"crossref","unstructured":"Carnielli, W., Coniglio, M., D\u2019Ottaviano, I. (eds.): Paraconsistency: The Logical Way to the Inconsistent. Lecture Notes in Pure and Applied Mathematics, vol. 228. CRC Press, United States (2002)","DOI":"10.1201\/9780203910139"},{"key":"177_CR23","series-title":"Lecture Notes in Pure and Applied Mathematics","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1201\/9780203910139","volume-title":"Paraconsistency: The Logical Way to the Inconsistent","author":"W Carnielli","year":"2002","unstructured":"Carnielli, W., Marcos, J.: A taxonomy of C-systems. In: Carnielli, W., Coniglio, M., D\u2019Ottaviano, I. (eds.) Paraconsistency: The Logical Way to the Inconsistent. Lecture Notes in Pure and Applied Mathematics, vol. 228, pp. 1\u201394. Marcel Dekker, New York (2002)"},{"key":"177_CR24","series-title":"Lecture Notes in Computer Science","first-page":"81","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A Ciabattoni","year":"2013","unstructured":"Ciabattoni, A., Maffezioli, P., Spendier, L.: Hypersequent and labelled calculi for intermediate logics. In: Galmiche, D., Larchey-Wendling, D. (eds.) Automated Reasoning with Analytic Tableaux and Related Methods. Lecture Notes in Computer Science, vol. 8123, pp. 81\u201396. Springer, Berlin (2013)"},{"key":"177_CR25","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.tcs.2013.02.003","volume":"480","author":"A Ciabattoni","year":"2013","unstructured":"Ciabattoni, A., Montagna, F.: Proof theory for locally finite many-valued logics: semi-projective logics. Theor. Comput. Sci. 480, 26\u201342 (2013)","journal-title":"Theor. Comput. Sci."},{"key":"177_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-319-11558-0_2","volume-title":"Logics in Artificial Intelligence","author":"A Ciabattoni","year":"2014","unstructured":"Ciabattoni, A., Spendier, L.: Tools for the investigation of substructural and paraconsistent logics. In: Ferm\u00e9, E., Leite, J. (eds.) Logics in Artificial Intelligence. Lecture Notes in Computer Science, vol. 8761, pp. 18\u201332. Springer, Berlin (2014)"},{"issue":"2","key":"177_CR27","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s12652-013-0186-7","volume":"5","author":"M Cristani","year":"2014","unstructured":"Cristani, M., Karafili, E., Vigan\u00f2, L.: Tableau systems for reasoning about risk. J. Ambient Intell. Humaniz. Comput. 5(2), 215\u2013247 (2014)","journal-title":"J. Ambient Intell. Humaniz. Comput."},{"key":"177_CR28","first-page":"95","volume":"146","author":"N Costa da","year":"1994","unstructured":"da Costa, N., B\u00e9ziau, J.-Y.: Th\u00e9orie de la valuation. Logique et Analyse 146, 95\u2013117 (1994)","journal-title":"Logique et Analyse"},{"issue":"3","key":"177_CR29","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1093\/logcom\/ext016","volume":"26","author":"R Diaconescu","year":"2016","unstructured":"Diaconescu, R.: Quasi-varieties and initial semantics for hybridized institutions. J. Log. Comput. 26(3), 855\u2013891 (2016)","journal-title":"J. Log. Comput."},{"key":"177_CR30","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.entcs.2013.12.010","volume":"300","author":"A Dod\u00f3","year":"2014","unstructured":"Dod\u00f3, A., Marcos, J.: Negative modalities, consistency and determinedness. Electron. Notes Theor. Comput. Sci. 300, 21\u201345 (2014)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"177_CR31","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M.: Intuitive semantics for first-degree entailments and coupled trees. Philos. Stud. 29, 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"issue":"2","key":"177_CR32","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1093\/jigpal\/jzt032","volume":"22","author":"C Englander","year":"2014","unstructured":"Englander, C., Haeusler, E.H., Pereira, L.C.: Finitely many-valued logics and natural deduction. Log. J. IGPL 22(2), 333\u2013354 (2014)","journal-title":"Log. J. IGPL"},{"issue":"3\u20134","key":"177_CR33","first-page":"235","volume":"15","author":"M Fitting","year":"1991","unstructured":"Fitting, M.: Many-valued modal logics. Fundam. Inf. 15(3\u20134), 235\u2013254 (1991)","journal-title":"Many-valued modal logics. Fundam. Inf."},{"issue":"1\u20132","key":"177_CR34","first-page":"55","volume":"17","author":"M Fitting","year":"1992","unstructured":"Fitting, M.: Many-valued modal logics II. Fundam. Inf. 17(1\u20132), 55\u201373 (1992)","journal-title":"Many-valued modal logics II. Fundam. Inf."},{"key":"177_CR35","unstructured":"Font, J.: Abstract Algebraic Logic\u2014An Introductory Textbook, Volume 60 of Studies in Logic\u2014Mathematical Logic and Foundations. College Publications, UK (2016)"},{"key":"177_CR36","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"D Gabbay","year":"1996","unstructured":"Gabbay, D.: Labelled Deductive Systems, vol. 1. Oxford University Press, Oxford (1996)"},{"key":"177_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503811.001.0001","volume-title":"Fibring Logics","author":"D Gabbay","year":"1998","unstructured":"Gabbay, D.: Fibring Logics. Oxford University Press, Oxford (1998)"},{"key":"177_CR38","unstructured":"Gabbay, D., Kurucz, \u00c1., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications, Volume 148 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam (2003)"},{"key":"177_CR39","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Wansing, H. (eds.): What is Negation? Volume 13 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht (1999)","DOI":"10.1007\/978-94-015-9309-0"},{"key":"177_CR40","volume-title":"A Treatise on Many-Valued Logic","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logic. Research Studies Press, Baldock (2001)"},{"key":"177_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-017-0172-5","author":"N Kamide","year":"2017","unstructured":"Kamide, N., Shramko, Y.: Modal multilattice logic. Log. Univers. (2017). doi: 10.1007\/s11787-017-0172-5","journal-title":"Modal multilattice logic. Log. Univers."},{"key":"177_CR42","doi-asserted-by":"crossref","unstructured":"Kern-Isberner, G., Lukasiewicz, T. (eds.): Special Issue on Challenges for Reasoning Under Uncertainty, Inconsistency, Vagueness, and Preferences, Volume 31 of KI-K\u00fcnstliche Intelligenz. Springer, Berlin (2017)","DOI":"10.1007\/s13218-016-0479-z"},{"issue":"3","key":"177_CR43","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1093\/jigpal\/jzw005","volume":"24","author":"R Kuznets","year":"2016","unstructured":"Kuznets, R., Lellmann, B.: Grafting hypersequents onto nested sequents. Log. J. IGPL 24(3), 375\u2013423 (2016)","journal-title":"Log. J. IGPL"},{"issue":"1","key":"177_CR44","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1093\/logcom\/ext029","volume":"26","author":"O Lahav","year":"2016","unstructured":"Lahav, O.: Semantic investigation of canonical G\u00f6del hypersequent systems. J. Log. Comput. 26(1), 337\u2013360 (2016)","journal-title":"J. Log. Comput."},{"key":"177_CR45","doi-asserted-by":"crossref","unstructured":"Lahav, O., Avron, A.: A unified semantic framework for fully structural propositional sequent systems. ACM Trans. Comput. Log. 14(4), 27:1\u201327:33 (2013)","DOI":"10.1145\/2528930"},{"key":"177_CR46","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2015.01.017","volume":"276","author":"O Lahav","year":"2015","unstructured":"Lahav, O., Avron, A.: A cut-free calculus for second-order G\u00f6del logic. Fuzzy Sets Syst. 276, 1\u201330 (2015)","journal-title":"Fuzzy Sets Syst."},{"key":"177_CR47","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-017-0175-2","author":"O Lahav","year":"2017","unstructured":"Lahav, O., Marcos, J., Zohar, Y.: Sequent systems for negative modalities. Log. Univers. (2017). doi: 10.1007\/s11787-017-0175-2","journal-title":"Log. Univers."},{"issue":"2","key":"177_CR48","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s00165-014-0327-6","volume":"27","author":"A Madeira","year":"2015","unstructured":"Madeira, A., Martins, M.A., Barbosa, L., Hennicker, R.: Refinement in hybridised institutions. Form. Asp. Comput. 27(2), 375\u2013395 (2015)","journal-title":"Form. Asp. Comput."},{"issue":"3\/4","key":"177_CR49","first-page":"121","volume":"43","author":"M Manzano","year":"2014","unstructured":"Manzano, M., Martins, M.A., Huertas, A.: A semantics for equational hybrid propositional type theory. Bull. Sect. Log. 43(3\/4), 121\u2013138 (2014)","journal-title":"Bull. Sect. Log."},{"key":"177_CR50","unstructured":"Marcelino, S., Caleiro, C., Rivieccio, U.: Characterizing finite-valuedness. Fuzzy Sets Syst. http:\/\/sqig.math.ist.utl.pt\/pub\/MarcelinoS\/17-CMR-finval.pdf . (in print)"},{"key":"177_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-017-0174-3","author":"S Marcelino","year":"2017","unstructured":"Marcelino, S., Rivieccio, U.: Locally tabular $$\\ne $$ \u2260 locally finite. Log. Univers. (2017). doi: 10.1007\/s11787-017-0174-3","journal-title":"Log. Univers."},{"key":"177_CR52","first-page":"279","volume":"48","author":"J Marcos","year":"2005","unstructured":"Marcos, J.: Nearly every normal modal logic is paranormal. Logique et Analyse 48, 279\u2013300 (2005)","journal-title":"Logique et Analyse"},{"key":"177_CR53","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.entcs.2016.09.001","volume":"323","author":"J Marcos","year":"2016","unstructured":"Marcos, J., Nalon, C.: Classical resolution for many-valued logics. Electron. Notes Theor. Comput. Sci. 323, 253\u2013270 (2016)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"177_CR54","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.tcs.2012.12.008","volume":"474","author":"D Miller","year":"2013","unstructured":"Miller, D., Pimentel, E.: A formal framework for specifying sequent calculus proof systems. Theor. Comput. Sci. 474, 98\u2013116 (2013)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"177_CR55","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/logcom\/exu029","volume":"26","author":"V Nigam","year":"2016","unstructured":"Nigam, V., Pimentel, E., Reis, G.: An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26(2), 539\u2013576 (2016)","journal-title":"J. Log. Comput."},{"issue":"1","key":"177_CR56","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s11225-014-9546-3","volume":"103","author":"S Odintsov","year":"2015","unstructured":"Odintsov, S., Wansing, H.: The logic of generalized truth values and the logic of bilattices. Stud. Log. 103(1), 91\u2013112 (2015)","journal-title":"Stud. Log."},{"key":"177_CR57","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.fss.2013.07.023","volume":"240","author":"E Palmeira","year":"2014","unstructured":"Palmeira, E., Bedregal, B., Fernandez, J., Jurio, A.: On the extension of lattice-valued implications via retractions. Fuzzy Sets Syst. 240, 66\u201385 (2014)","journal-title":"Fuzzy Sets Syst."},{"issue":"3","key":"177_CR58","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1093\/logcom\/exu061","volume":"25","author":"R Ramanayake","year":"2015","unstructured":"Ramanayake, R.: Embedding the hypersequent calculus in the display calculus. J. Log. Comput. 25(3), 921\u2013942 (2015)","journal-title":"J. Log. Comput."},{"issue":"1","key":"177_CR59","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1093\/logcom\/exv038","volume":"27","author":"U Rivieccio","year":"2017","unstructured":"Rivieccio, U., Jung, A., Jansana, R.: Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. 27(1), 155\u2013199 (2017)","journal-title":"J. Log. Comput."},{"issue":"4","key":"177_CR60","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1093\/jigpal\/jzt046","volume":"22","author":"G Robles","year":"2013","unstructured":"Robles, G., M\u00e9ndez, J.M.: A paraconsistent 3-valued logic related to G\u00f6del logic G3. Log. J. IGPL 22(4), 515\u2013538 (2013)","journal-title":"Log. J. IGPL"},{"key":"177_CR61","unstructured":"Scott, D., Strachey, C.: Toward a Mathematical Semantics for Computer Languages. Programming Research Group Technical Monograph PRG-6, Oxford University Computing Lab., Oxford (1971)"},{"issue":"4","key":"177_CR62","doi-asserted-by":"crossref","first-page":"610","DOI":"10.2307\/2272465","volume":"36","author":"D Shoesmith","year":"1971","unstructured":"Shoesmith, D., Smiley, T.: Deducibility and many-valuedness. J. Symb. Log. 36(4), 610\u2013622 (1971)","journal-title":"J. Symb. Log."},{"key":"177_CR63","doi-asserted-by":"crossref","unstructured":"Shramko, Y., Wansing, H.: Truth and Falsehood: An Inquiry into Generalized Logical Values, Volume 36 of Trends in Logic. Springer, Berlin (2011)","DOI":"10.1007\/978-94-007-0907-2"},{"key":"177_CR64","doi-asserted-by":"publisher","unstructured":"Skurt, D.: A note on two\u2019s company: \u201cThe humbug of many logical values\u201d. Log. Univers. (2017). doi: 10.1007\/s11787-017-0176-1","DOI":"10.1007\/s11787-017-0176-1"},{"key":"177_CR65","doi-asserted-by":"publisher","unstructured":"Stewart, C. de Paiva, V., Alechina, N.: Intuitionistic modal logic: a 15-year retrospective. J. Log. Comput. exv042. doi: 10.1093\/logcom\/exv042","DOI":"10.1093\/logcom\/exv042"},{"key":"177_CR66","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J Stoy","year":"1977","unstructured":"Stoy, J.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1977)"},{"key":"177_CR67","series-title":"Lecture Notes in Mathematics","first-page":"169","volume-title":"Logic Colloquium: Symposium on Logic held at Boston, 1972\u201373","author":"R Suszko","year":"1972","unstructured":"Suszko, R.: Abolition of the Fregean axiom. In: Parikh, R. (ed.) Logic Colloquium: Symposium on Logic held at Boston, 1972\u201373. Lecture Notes in Mathematics, vol. 453, pp. 169\u2013239. Springer, Berlin (1972)"},{"key":"177_CR68","first-page":"87","volume":"4","author":"R Suszko","year":"1975","unstructured":"Suszko, R.: Remarks on \u0141ukasiewicz\u2019s three-valued logic. Bull. Sect. Log. 4, 87\u201390 (1975)","journal-title":"Bull. Sect. Log."},{"key":"177_CR69","unstructured":"Szab\u00f3, Z.: Compositionality. In: Zalta, E. (ed.) The Stanford Encyclopedia of Philosophy, summer, 2017th edn. Stanford University, Stanford, Metaphysics Research Lab. (2017)"},{"key":"177_CR70","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled Non-Classical Logics","author":"L Vigan\u00f2","year":"2000","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"177_CR71","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02123806","volume":"32","author":"R W\u00f3jcicki","year":"1973","unstructured":"W\u00f3jcicki, R.: Matrix approach in the methodology of sentential calculi. Stud. Log. 32, 7\u201337 (1973)","journal-title":"Stud. Log."},{"key":"177_CR72","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi: Basic Theory of Consequence Operations","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi: Basic Theory of Consequence Operations. Kluwer Academic Publishers, Dordrecht (1988)"},{"issue":"6","key":"177_CR73","doi-asserted-by":"crossref","first-page":"1299","DOI":"10.1007\/s11225-013-9534-z","volume":"101","author":"D Zaitsev","year":"2013","unstructured":"Zaitsev, D., Shramko, Y.: Bi-facial truth: a case for generalized truth values. Stud. Log. 101(6), 1299\u20131318 (2013)","journal-title":"Stud. Log."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-017-0177-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-017-0177-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-017-0177-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T02:11:06Z","timestamp":1719367866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-017-0177-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,8]]},"references-count":73,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["177"],"URL":"https:\/\/doi.org\/10.1007\/s11787-017-0177-0","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,8]]}}}