{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T16:40:01Z","timestamp":1714840801713},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,1,12]],"date-time":"2013-01-12T00:00:00Z","timestamp":1357948800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-012-9264-0","type":"journal-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T09:28:58Z","timestamp":1357896538000},"page":"303-332","source":"Crossref","is-referenced-by-count":4,"title":["Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for \u0141ukasiewicz\u2019s 3-valued Logic \u01413"],"prefix":"10.1007","volume":"43","author":[{"given":"Gemma","family":"Robles","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Salto","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 M.","family":"M\u00e9ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,12]]},"reference":[{"key":"9264_CR1","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A Avron","year":"1991","unstructured":"Avron, A. (1991). Natural 3-valued logics. characterization and proof theory. Journal of Symbolic Logic, 56, 276\u2013294.","journal-title":"Journal of Symbolic Logic"},{"key":"9264_CR2","unstructured":"Baaz, M., & Zach, R. (1998). Compact propositional G\u04e7del logics. In 28th international symposium on multiple-valued logic proceedings, (pp. 108\u2013113). Fukuoka, Japan."},{"key":"9264_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M Baaz","year":"2007","unstructured":"Baaz, M., Preining, N., Zach, R. (2007). First-order G\u00f6del logics. Annals of Pure and Applied Logic, 147, 23\u201347.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9264_CR4","volume-title":"Generalized Galois logics. Relational semantics of non-classical logic calculi","author":"K Bimb\u00f3","year":"2008","unstructured":"Bimb\u00f3, K., & Dunn, J.M. (2008). Generalized Galois logics. Relational semantics of non-classical logic calculi. Stanford, CA: CSLI Publications."},{"key":"9264_CR5","unstructured":"Brady, R. (1982). Completeness proofs for the systems RM3 and BN4. Logique et Analyse, 25, 9\u201332."},{"key":"9264_CR6","unstructured":"Brady, R. (Ed.) (2003). Relevant logics and their rivals, Vol. II. Ashgate."},{"key":"9264_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","volume-title":"Handbook of philosophical logic, Vol. 14","author":"W Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M., Marcos, J. (2007). Logics of formal inconsistency In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 14, pp. 1\u201393). Dordrecht: Kluwer Academic Publishers."},{"key":"9264_CR8","unstructured":"Dunn, J.M. (1966). The algebra of intensional logics. Doctoral dissertation, University of Pittsburg (Ann Arbor, University Microfilms)."},{"key":"9264_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M. (1976). Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies, 29, 149\u2013168.","journal-title":"Philosophical Studies"},{"key":"9264_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"65","author":"JM Dunn","year":"2000","unstructured":"Dunn, J.M. (2000). Partiality and its dual. Studia Logica, 65, 5\u201340.","journal-title":"Studia Logica"},{"key":"9264_CR11","unstructured":"Gabbay, D., & Guenthner, F. (2001). Handbook of philosophical logic, 2nd edn. Dordrecht: Kluwer Academic Publishers."},{"key":"9264_CR12","unstructured":"Gonz\u00e1lez, C. (2012). MaTest. Available at http:\/\/ceguel.es\/matest . Last access 26 November 2012."},{"key":"9264_CR13","first-page":"297","volume-title":"Handbook of philosophical logic, Vol. 2","author":"R H\u00e4hnle","year":"2002","unstructured":"H\u00e4hnle, R. (2002). Advanced many-valued logics. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 2, pp. 297\u2013395). Dordrecht: Kluwer Academic Publishers."},{"key":"9264_CR14","volume-title":"\u0141ukasiewicz logics and prime numbers","author":"AS Karpenko","year":"2006","unstructured":"Karpenko, A.S. (2006). \u0141ukasiewicz logics and prime numbers. Beckington: Luniver Press."},{"key":"9264_CR15","unstructured":"\u0141ukasiewicz, J. (1920). On three-valued logic. In J. \u0141ukasiewicz (1970) (pp. 87\u201388)."},{"key":"9264_CR16","volume-title":"Selected works","author":"J \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz, J. (1970). Selected works. Amsterdam: North-Holland."},{"key":"9264_CR17","unstructured":"\u0141ukasiewicz, J., & Tarski, A. (1930). Investigations into the sentential calculus. In \u0141ukasiewicz (1970) (pp. 131\u2013152)."},{"key":"9264_CR18","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-valued logics","author":"G Malinowski","year":"1993","unstructured":"Malinowski, G. (1993). Many-valued logics. Oxford: Clarendon Press."},{"key":"9264_CR19","volume-title":"Polish logic: 1920\u20131939","author":"S McCall","year":"1967","unstructured":"McCall, S. (1967). Polish logic: 1920\u20131939. London, UK: Oxford University Press."},{"key":"9264_CR20","first-page":"407","volume":"15","author":"RK Meyer","year":"1972","unstructured":"Meyer, R.K., & Routley, R. (1972). Algebraic analysis of entailment I. Logique et Analyse, 15, 407\u2013428.","journal-title":"Logique et Analyse"},{"key":"9264_CR21","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of philosophical logic, Vol. 6","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Paraconsistent logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 287\u2013393). Dordrecht: Kluwer Academic Publishers."},{"issue":"1","key":"9264_CR22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10849-007-9042-5","volume":"17","author":"G Robles","year":"2008","unstructured":"Robles, G., & M\u00e9ndez, J.M. (2008). The basic constructive logic for a weak sense of consistency. Journal of Logic Language and Information, 17(1), 89\u2013107.","journal-title":"Journal of Logic Language and Information"},{"key":"9264_CR23","unstructured":"Robles, G., & M\u00e9ndez, J.M. A Routley\u2013Meyer semantics for truth-preserving and well-determined \u0141ukasiewicz\u2019s 3-valued logics (Manuscript)."},{"key":"9264_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A Rose","year":"1958","unstructured":"Rose, A., & Rosser, J.B. (1958). Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, 87, 1\u201353.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9264_CR25","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/BF00650498","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., & Meyer, R.K. (1972). Semantics of entailment III. Journal of Philosophical Logic, 1, 192\u2013208.","journal-title":"Journal of Philosophical Logic"},{"key":"9264_CR26","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2214309","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., & Routley, V. (1972). Semantics of first-degree entailment. No\u00fbs, 1, 335\u2013359.","journal-title":"No\u00fbs"},{"key":"9264_CR27","volume-title":"Relevant logics and their rivals (Vol. 1)","author":"R Routley","year":"1982","unstructured":"Routley, R., Meyer, R.K., Plumwood, V., Brady R.T. (1982). Relevant logics and their rivals (Vol. 1). Atascadero, CA: Ridgeview Publishing Co."},{"key":"9264_CR28","unstructured":"Slaney, J. (1995). MaGIC, matrix generator for implication connectives: version 2.1, notes and guide. Canberra: Australian National University. URL: http:\/\/users.rsise.anu.edu.au\/~jks ."},{"key":"9264_CR29","first-page":"87","volume":"4","author":"R Suszko","year":"1975","unstructured":"Suszko, R. (1975). Remarks on \u0141ukasiewicz\u2019s three-valued logics. Bulletin of the Section of Logic, 4, 87\u201390.","journal-title":"Bulletin of the Section of Logic"},{"key":"9264_CR30","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/BF02123373","volume":"33","author":"M Tokarz","year":"1974","unstructured":"Tokarz, M. (1974). A method of axiomatization of \u0141ukasiewicz logics. Studia Logica, 33, 333\u2013338.","journal-title":"Studia Logica"},{"key":"9264_CR31","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/A:1005020217249","volume":"60","author":"M Tsuji","year":"1998","unstructured":"Tsuji, M. (1998). Many-valued logic and Suszko thesis revisited. Studia Logica, 60, 299\u2013309.","journal-title":"Studia Logica"},{"key":"9264_CR32","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00374052","volume":"47","author":"R Tuziak","year":"1988","unstructured":"Tuziak, R. (1988). An axiomatization of the finite-valued \u0141ukasiewicz calculus. Studia Logica, 47, 49\u201355.","journal-title":"Studia Logica"},{"key":"9264_CR33","first-page":"249","volume-title":"Handbook of philosophical logic, Vol. 2","author":"A Urquhart","year":"2002","unstructured":"Urquhart, A. (2002). Basic many-valued logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 2, pp. 249\u2013295). Dordrecht: Kluwer Academic Publishers."},{"key":"9264_CR34","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","volume":"67","author":"B Van Fraasen","year":"1969","unstructured":"Van Fraasen, B. (1969). Facts and tautological entailments. The Journal of Philosophy, 67, 477\u2013487.","journal-title":"The Journal of Philosophy"},{"key":"9264_CR35","unstructured":"Wajsberg, M. (1931). Axiomatization of the 3-valued propositional calculus. In S. McCall (1967) (pp. 264\u2013284).."},{"key":"9264_CR36","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF02120495","volume":"33","author":"R Wojcicki","year":"1974","unstructured":"Wojcicki, R. (1974). The logics stronger than \u0141ukasiewicz\u2019z three-valued sentential calculus\u2014the notion of degree of maximality versus the notion of degree of completeness. Studia Logica, 33, 201\u2013214.","journal-title":"Studia Logica"},{"key":"9264_CR37","unstructured":"Wojcicki, R. (1984). Lectures on Propositional Calculi. Ossolineum."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9264-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9264-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9264-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T15:53:29Z","timestamp":1714838009000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9264-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,12]]},"references-count":37,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9264"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9264-0","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,12]]}}}