{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802184},"reference-count":58,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,10,1]]},"DOI":"10.1305\/ndjfl\/1040136920","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:23:38Z","timestamp":1046208218000},"source":"Crossref","is-referenced-by-count":6,"title":["On Finite-Valued Propositional Logical Calculi"],"prefix":"10.1215","volume":"36","author":[{"given":"O.","family":"Anshakov","sequence":"first","affiliation":[]},{"given":"S.","family":"Rychkov","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"54","doi-asserted-by":"crossref","unstructured":"Smullyan, R., <i>First-order Logic<\/i>, Springer-Verlag, Berlin, 1968. Zbl 0172.28901 MR 39:5311","DOI":"10.1007\/978-3-642-86718-7"},{"key":"45","unstructured":"Rasiowa, H., <i>An Algebraic Approach to Non-Classical Logics<\/i>, North-Holland, Amsterdam, 1974. Zbl 0299.02069 MR 56:5285"},{"key":"1","unstructured":"Anshakov, O. M., <i>Intuitionistic versions of finite-valued logics<\/i>, Doctoral Dissertation, MGPI, Moscow, 1984 (in Russian)."},{"key":"2","unstructured":"Anshakov, O. M., and S. V. Rychkov, \u201cOn multivalued logical calculi,\u201d <i>Soviet Math. Dokl.<\/i>, vol. 25 (1982), pp. 599\u2013602. Zbl 0507.03011"},{"key":"3","unstructured":"Anshakov, O. M., and S. V. Rychkov, \u201cMany-valued logical calculi,\u201d <i>Semiotika i Informatika<\/i>, vol. 19 (1982), pp. 90\u2013117 (in Russian). Zbl 0501.03012 MR 84e:03031"},{"key":"4","unstructured":"Anshakov, O. M., and S. V. Rychkov, \u201cTowards the theory of many-valued logical calculi,\u201d <i>Semiotika i Informatika<\/i>, vol. 23 (1984), pp. 76\u2013108 (in Russian)."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Anshakov, O. M., and S. V. Rychkov, \u201cOn the axiomatization of finite-valued logical calculi,\u201d <i>Math. USSR Sbornik<\/i>, vol. 51 (1985), pp. 473\u2013491. Zbl 0566.03010 MR 85i:03065","DOI":"10.1070\/SM1985v051n02ABEH002870"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Anshakov, O. M., and S. V. Rychkov, \u201cMany-valued logics and their algebras,\u201d <i>Russian Mathematical Surveys<\/i>, vol. 45 (1990), pp. 139\u2013140. Zbl 0725.03008 MR 92i:03019","DOI":"10.1070\/RM1990v045n06ABEH002695"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Anshakov, O. M., V. K. Finn, and D. P. Skvortsov, \u201cOn axiomatization of many-valued logics associated with formalization of plausible reasoning,\u201d <i>Studia Logica<\/i>, vol. 48 (1990), pp. 423\u2013447. MR 91m:03023","DOI":"10.1007\/BF00370198"},{"key":"8","unstructured":"Birkhoff, G., <i>Lattice theory<\/i>, American Mathematical Society, Providence, 1967. Zbl 0153.02501 MR 37:2638"},{"key":"#cr-split#-9.1","unstructured":"Bochvar, D. A., \"On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus,\" <i>Math. USSR Sbornik<\/i>, vol. 4 (1938), pp. 287-308 (in Russian"},{"key":"#cr-split#-9.2","unstructured":"English translation in: <i>History and Philosophy of Logic<\/i>, vol. 2 (1981)). Zbl 0512.03004 MR 83f:03022"},{"key":"10","unstructured":"Bochvar D. A., and V. K. Finn, \u201cSome additions to articles on many-valued logics,\u201d pp. 265\u2013325 in <i>Investigations on Set Theory and Non-Classical Logics<\/i>, Nauka, Moscow, 1976 (in Russian)."},{"key":"11","doi-asserted-by":"crossref","unstructured":"Carnielli, W. A., \u201cSystematization of finite-valued logics through the method of tableaux,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 52 (1987), pp. 473\u2013493. Zbl 0633.03008","DOI":"10.2307\/2274395"},{"key":"12","unstructured":"Carnielli, W. A., \u201cOn sequents and tableaux for many-valued logics,\u201d <i>The Journal of Non-Classical Logic<\/i>, vol. 8 (1991), pp. 59\u201376. Zbl 0774.03006 MR 94b:03046"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Chang, C. C., \u201cAlgebraic analysis of many-valued logics,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 88 (1958), pp. 467\u2013490. Zbl 0084.00704 MR 20:821","DOI":"10.1090\/S0002-9947-1958-0094302-9"},{"key":"14","doi-asserted-by":"crossref","unstructured":"Chang, C. C., \u201cA new proof of the completeness of the \u0141ukasiewicz axioms,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 93 (1959), pp. 74\u201380. Zbl 0093.01104 MR 23:A58","DOI":"10.2307\/1993423"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Cignoli, R., \u201cAn algebraic approach to elementary theories based on <i>n<\/i>-valued \u0141ukasiewicz logics,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 30 (1984), pp. 87\u201396. Zbl 0551.03037 MR 85i:03191","DOI":"10.1002\/malq.19840300106"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Cleave, J. T., \u201cThe notion of logical consequence in the logic of inexact predicates,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 20 (1974), pp. 307\u2013324. Zbl 0299.02015 MR 51:10028","DOI":"10.1002\/malq.19740201903"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Ebbinghaus, H.-D., \u201c\u00dcber eine Pr\u00e4dikatenlogik mit partiell definierten Pr\u00e4dikaten und Funktionen,\u201d <i>Archiv f\u00fcr mathematische Logik und Grundlagenforschriften<\/i>, vol. 12 (1969), pp. 39\u201353. Zbl 0182.31502 MR 40:7092","DOI":"10.1007\/BF01982047"},{"key":"18","unstructured":"Figallo, A., \u201cI$\\Delta_3$-algebras,\u201d <i>Reports of Mathematical Logic<\/i>, vol. 24 (1990), pp. 3\u201316. MR 92c:03071"},{"key":"19","unstructured":"Finn, V. K., \u201cOn the functional properties and axiomatization of D. A. Bochvar's three-valued logic,\u201d pp. 22\u201323 in <i>4th International Congress of Logic, Methodology and Philosophy of Science<\/i>, Bucharest, 1971."},{"key":"20","unstructured":"Finn, V. K., \u201cAxiomatization of some three-valued propositional calculi and their algebras,\u201d pp. 398\u2013438 in <i>Philosophy in the Modern World, Philosophy and Logic<\/i>, Nauka, Moscow, 1974 (in Russian). MR 58:27304"},{"key":"21","unstructured":"Finn, V. K., O. M. Anshakov, R. Grigolia, and M. I. Zabezhailo, \u201cMany-valued logics as fragments of formalized semantics,\u201d <i>Acta Philosophica Fennica<\/i>, vol. 35 (1982), pp. 239\u2013271. Zbl 0521.03011 MR 86f:03040"},{"key":"22","unstructured":"Finn, V., and R. Grigolia, \u201cBochvar's algebras and their corresponding propositional calculi,\u201d <i>Bulletin of the Section of Logic<\/i>, vol. 9 (1980), pp. 39\u201345."},{"key":"23","unstructured":"Girard, J.-Y., \u201cThree-valued logics and cut-elimination: the actual meaning of Takeuti's conjecture,\u201d <i>Dissertationes Mathematic\u00e6<\/i>, vol. 136 (1976), pp. 1\u201349. MR 56:5235"},{"key":"24","unstructured":"Goddard, L., and R. Routley, <i>The Logic of Significance and Context<\/i>, vol. 1, Scottish Academic Press, Edinburgh, 1973. Zbl 0302.02004 MR 58:5052"},{"key":"25","unstructured":"Grigolia, R., \u201cFree \u0141ukasiewicz algebras,\u201d pp. 64-74 in <i>Methods for research in logic<\/i>, Metsnireba, Tbilisi, 1987 (in Russian)."},{"key":"26","unstructured":"Grigolia, R., \u201cAlgebraic analysis of \u0141ukasiewicz-Tarski's <i>n<\/i>-valued logical systems,\u201d pp. 81\u201392 in <i>Selected Papers on \u0141ukasiewicz Sentential Calculi<\/i>, edited by G. Malinowski and R. W\u00f3jcicki, Ossolineum, Wroc\u0142aw, 1977. MR 58:21437"},{"key":"27","unstructured":"Grigolia, R., and V. K. Finn, \u201cBochvar's algebras and their corresponding propositional calculi,\u201d pp. 345-372 in <i>Studies in Non-classical Logics and Set Theory<\/i>, edited by A. I. Michailov, Nauka, Moscow, 1979 (in Russian). Zbl 0441.03023 MR 81f:03031"},{"key":"28","doi-asserted-by":"crossref","unstructured":"Guzman, F., \u201cThe implications in conditional logic,\u201d <i>Lecture Notes in Computer Science<\/i>, vol. 425 (1990), pp. 139\u2013159. Zbl 0783.03008 MR 92e:03028","DOI":"10.1007\/BFb0043082"},{"key":"29","doi-asserted-by":"crossref","unstructured":"Guzman, F., and C. Squier, \u201cThe algebras of conditional logics,\u201d <i>Algebra Universalis<\/i>, vol. 29 (1990), pp. 88\u2013110. MR 90m:03107","DOI":"10.1007\/BF01190256"},{"key":"30","unstructured":"H\u00e4hnle, R.,<i>Tableaux based methods in many-valued automated deduction<\/i>, Oxford University Press, Oxford, 1993."},{"key":"31","unstructured":"Hallden, S., \u201cThe logic of nonsense,\u201d <i>Arsskrift<\/i>, Heft 1, Uppsala University, 1949. Zbl 0040.29201"},{"key":"32","doi-asserted-by":"crossref","unstructured":"Hoogewijs, A., \u201cOn a formalization of the non-definedness notion,\u201d <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 25 (1979), pp. 213\u2013217. Zbl 0415.03019 MR 80f:03017","DOI":"10.1002\/malq.19790251304"},{"key":"33","doi-asserted-by":"crossref","unstructured":"Komori, Y., \u201cSuper \u0141ukasiewicz propositional logics,\u201d <i>Nayoya Mathematical Journal<\/i>, vol. 84 (1981), pp. 119\u2013133. Zbl 0482.03007 MR 83i:03041","DOI":"10.1017\/S0027763000019577"},{"key":"34","doi-asserted-by":"crossref","unstructured":"Komori, Y., \u201cSuper \u0141ukasiewicz implicational logics,\u201d <i>Nayoya Mathematical Journal<\/i>, vol. 72 (1978), pp. 127\u2013133. Zbl 0363.02015 MR 80d:03021","DOI":"10.1017\/S0027763000018249"},{"key":"35","unstructured":"\\mbox\u0141ukasiewicz, J., and A. Tarski, \u201cInvestigations into the sentential calculus,\u201d Chapter IV in <i>Logic, Semantics, Metamathematics<\/i>, by A. Tarski, Clarendon Press, Oxford, 1956."},{"key":"36","unstructured":"Moisil, G. C., \u201cNotes sur les logiques nonchrysippiennes,\u201d <i>Ann. Sci. Univ. Iassy<\/i>, vol. 27 (1941), 86\u201398."},{"key":"37","doi-asserted-by":"publisher","unstructured":"Mundici, D., \u201cSatisfiability in many-valued sentential logic is NP-complete,\u201d <i>Theoretical Computer Science<\/i>, vol. 52 (1987), pp. 145\u2013153. Zbl 0639.03042 MR 89a:68076","DOI":"10.1016\/0304-3975(87)90083-1"},{"key":"38","doi-asserted-by":"crossref","unstructured":"Mundici, D., \u201cThe derivative of truth in \u0141ukasiewicz sentential calculi,\u201d <i>Contemporary Mathematics<\/i>, vol. 69 (1988), pp. 209\u2013277. Zbl 0648.03011 MR 89b:03045","DOI":"10.1090\/conm\/069\/933811"},{"key":"39","doi-asserted-by":"crossref","unstructured":"Mundici, D., \u201cThe <i>C<\/i>*-algebras and three-valued logics,\u201d pp. 61\u201377 in <i>Proceedings of the Logic Colloquium '88<\/i>, Studies in Logic and the Foundations of Mathematics, North Holland, 1989. MR 90j:03039","DOI":"10.1016\/S0049-237X(08)70262-3"},{"key":"40","doi-asserted-by":"crossref","unstructured":"D'Ottaviano, I., \u201cThe model extension theorem for J3 theories,\u201d <i>Lecture Notes in Mathematics<\/i>, vol. 1130 (1985), pp. 157\u2013173. MR 87b:03048","DOI":"10.1007\/BFb0075310"},{"key":"41","unstructured":"D'Ottaviano, I., \u201cThe completeness and compactness of a 3-valued first-order logic,\u201d <i>Revista Colombiana de Matematica<\/i>, vol. 19 (1985), pp. 77\u201394. Zbl 0614.03020 MR 88a:03055"},{"key":"42","doi-asserted-by":"publisher","unstructured":"D'Ottaviano, I., \u201cDefinability and quantifier elimination for J3,\u201d <i>Studia Logica<\/i>, vol. 46 (1987), pp. 37\u201354. Zbl 0633.03007 MR 88m:03037","DOI":"10.1007\/BF00396904"},{"key":"43","doi-asserted-by":"crossref","unstructured":"P\u0142onka, J., \u201cOn distributive quasi-lattices,\u201d <i>Fundamenta Mathematic\u00e6<\/i>, vol. 60 (1967), pp. 191\u2013200. Zbl 0154.00709 MR 36:85","DOI":"10.4064\/fm-60-2-191-200"},{"key":"44","doi-asserted-by":"crossref","unstructured":"Post, E., \u201cIntroduction to a general theory of elementary propositions,\u201d <i>American Journal of Mathematics<\/i>, vol. 43 (1921), pp. 63\u2013185.","DOI":"10.2307\/2370324"},{"key":"46","doi-asserted-by":"publisher","unstructured":"Rose, A., and J. Rosser, \u201cFragments of many-valued statement calculi,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 87 (1958), pp. 1\u201353. Zbl 0085.24303 MR 20:818","DOI":"10.1090\/S0002-9947-1958-0094299-1"},{"key":"47","doi-asserted-by":"crossref","unstructured":"Rosenberg, I. G., \u201cCompleteness properties of multi-valued logic algebras,\u201d pp. 144-186 in <i>Computer Science and multiple-valued logic<\/i>, edited by D. C. Rine, North-Holland, Amsterdam, 1977.","DOI":"10.1016\/B978-0-7204-0406-7.50010-7"},{"key":"48","unstructured":"Rosser, J. B., and A. R. Turquette, <i>Many-valued logics<\/i>, North-Holland, Amsterdam, 1951. Zbl 0047.01503 MR 14,526a"},{"key":"49","doi-asserted-by":"crossref","unstructured":"Rousseau, G., \u201cSequents in many-valued logic I,' <i>Fundamenta Mathematic\u00e6<\/i>, vol. 60 (1967), pp. 23\u201333. Erratum: <i>Fundamenta Mathematic\u00e6<\/i>, vol. 61 (1967\u201368), p. 313. Zbl 0154.25504 MR 35:1451","DOI":"10.4064\/fm-60-1-23-33"},{"key":"50","doi-asserted-by":"crossref","unstructured":"Rousseau, G., \u201cSequents in many-valued logic II,\u201d <i>Fundamenta Mathematic\u00e6<\/i> vol. 67 (1970), pp. 125\u2013131. Zbl 0194.30703 MR 41:6671","DOI":"10.4064\/fm-67-1-125-131"},{"key":"51","doi-asserted-by":"crossref","unstructured":"Rousseau, G., \u201cPost algebras and pseudo-Post algebras,\u201d <i>Fundamenta Mathematic\u00e6<\/i> vol. 67 (1970), pp. 133\u2013145. Zbl 0198.01904 MR 42:159","DOI":"10.4064\/fm-67-1-133-145"},{"key":"52","doi-asserted-by":"crossref","unstructured":"Rychkov, S. V., \u201cOn the Completeness Theorem for many-valued structures.\u201d <i>Russian Mathematical Surveys<\/i>, vol. 46 (1991), pp. 227\u2013228. Zbl 0811.03017 MR 1164203","DOI":"10.1070\/RM1991v046n06ABEH002867"},{"key":"53","doi-asserted-by":"crossref","unstructured":"Segerberg, K., \u201cA contribution to nonsense logics,\u201d <i>Theoria,<\/i> vol. 31 (1965), pp. 199\u2013217.","DOI":"10.1111\/j.1755-2567.1965.tb00579.x"},{"key":"55","unstructured":"Suchon, W., \u201cLa m\u00e9thode de Smullyan de construire le calcul <i>n<\/i>-valent de \u0141ukasiewicz avec implication et negation,\u201d <i>Reports Mathematical Logic<\/i>, vol. 2 (1974) pp. 37\u201342. Zbl 0284.02007 MR 54:2419"},{"key":"56","unstructured":"Surma, S. J., \u201cAn algorithm for axiomatizing every finite logic,\u201d pp. 315-321 in <i>Proceedings of the Fourth International Symposium on Multiple-valued Logic<\/i>, IEEE, Morgantown, 1974. Zbl 0314.02057 MR 51:123"},{"key":"57","unstructured":"Yablonskii, S. V., \u201cFunctional constructions in a <i>k<\/i>-valued logic,\u201d <i>Trudy Math. Inst. Steklov<\/i>, vol. 51 (1958), pp. 5-142 (in Russian). English translation in: <i>Office of Technology Services, U.S. Department of Commerce<\/i>, Washington, D.C., 1960."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040136920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:41Z","timestamp":1706649161000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-4\/On-Finite-Valued-Propositional-Logical-Calculi\/10.1305\/ndjfl\/1040136920.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,1]]},"references-count":58,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1995,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040136920","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,10,1]]}}}