{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,5]],"date-time":"2024-01-05T16:39:58Z","timestamp":1704472798101},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1987,9]]},"DOI":"10.1007\/bf00372552","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T09:52:47Z","timestamp":1099561967000},"page":"275-278","source":"Crossref","is-referenced-by-count":4,"title":["Remarks on a survey article on many valued logic by A. Urquhart"],"prefix":"10.1007","volume":"46","author":[{"given":"Andrzej","family":"Wro\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00372552_CR1","volume-title":"Abstract Logics, Dissertationes Mathematicae","author":"D. J. Brown","year":"1973","unstructured":"D. J. Brown and R. Suszko, Abstract Logics, Dissertationes Mathematicae CII, PWN, Warsaw, 1973."},{"key":"BF00372552_CR2","doi-asserted-by":"crossref","unstructured":"J. Czelakowski, Remarks on finitely based logics, Proceedings of Logic Colloquium '83, Aachen, Lecture Notes in Mathematics, Vol. 1103, Springer Verlag, pp. 147\u2013168.","DOI":"10.1007\/BFb0099385"},{"key":"BF00372552_CR3","volume-title":"Model-Theoretic Methods in Methodology of Propositional Calculi","author":"J. Czelakowski","year":"1980","unstructured":"J. Czelakowski, Model-Theoretic Methods in Methodology of Propositional Calculi, IFiS, Polish Academy of Sciences, Warsaw, 1980."},{"key":"BF00372552_CR4","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934\/35","unstructured":"G. Gentzen, Untersuchungen \u00fcber das logische Schlie\u00dfen, Math. Z. 39 (1934\/35), pp. 176\u2013210, 405\u2013431.","journal-title":"Math. Z."},{"key":"BF00372552_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF02123379","volume":"33","author":"R. Giles","year":"1974","unstructured":"R. Giles, A non-classical logic for physics, Studia Logica 33 (1974), pp. 397\u2013415.","journal-title":"Studia Logica"},{"key":"BF00372552_CR6","doi-asserted-by":"crossref","unstructured":"R. Giles, A pragmatic approach to the formalization of empirical theories, Formal Methods in the Methodology of Empirical Sciences, Prze\u0142\u0119cki, Szaniawski, W\u00f3jcicki (eds.), pp. 113\u2014135, D. Reidel and Ossolineum, 1976.","DOI":"10.1007\/978-94-010-1135-8_7"},{"key":"BF00372552_CR7","doi-asserted-by":"crossref","unstructured":"R. Giles, A logic for subjective belief, Foundation of Probability Theory, Statistical Inference and Statistical Theories of Science, Harper and Hooker (eds.), Vol. I, pp. 41\u201372, D. Reidel, 1976.","DOI":"10.1007\/978-94-010-1853-1_4"},{"key":"BF00372552_CR8","first-page":"135","volume-title":"Studies in Formalized Languages and Nonclassical Logics","author":"V. N. Grishin","year":"1974","unstructured":"V. N. Grishin, A nonstandard logic and its application to set theory, Studies in Formalized Languages and Nonclassical Logics, \u201cNauka\u201d, Moscow, 1974, pp. 135\u2013171 (in Russian)."},{"key":"BF00372552_CR9","first-page":"247","volume-title":"Studies in Set Theory and Nonclassical Logics","author":"V. N. Grishin","year":"1976","unstructured":"V. N. Grishin, The algebraic semantics of logic without contraction, Studies in Set Theory and Nonclassical Logics, \u201cNauka\u201d, Moscow, 1976, pp. 247\u2013264 (in Russian)."},{"issue":"No. 1","key":"BF00372552_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1070\/IM1982v018n01ABEH001382","volume":"18","author":"V. N. Grishin","year":"1982","unstructured":"V. N. Grishin, Predicate and set-theoretical calculi based on logic without contractions, Math. USSR Izvestija, Vol. 18 (1982), No. 1, pp. 41\u201359 (Russian original in Izv. Akad. Nauk SSSR, Ser. Mat. Vol. 45, No. 1 (1981)).","journal-title":"Math. USSR Izvestija"},{"key":"BF00372552_CR11","volume-title":"Handbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic","year":"1986","unstructured":"D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic, D. Reidel Publishing Company, Dordrecht, 1986."},{"key":"BF00372552_CR12","first-page":"119","volume":"4","author":"I. Johansson","year":"1936","unstructured":"I. Johansson, Der Minimalkalk\u00fcl, ein reduzierter intuitionistischer Formalismus, Compositio Math. 4 (1936), pp. 119\u2013136.","journal-title":"Compositio Math."},{"key":"BF00372552_CR13","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(84)90047-1","volume":"32","author":"J. Ketonen","year":"1984","unstructured":"J. Ketonen and E. Weyrauch, A decidable fragment of predicate calculus, Theoretical Computer Science 32 (1984), pp. 297\u2013307.","journal-title":"Theoretical Computer Science"},{"key":"BF00372552_CR14","first-page":"178","volume":"20","author":"J. \u0141o\u015b","year":"1958","unstructured":"J. \u0141o\u015b and R. Suszko, Remarks on sentential logic, Indagationes Mathematicae 20 (1958), pp. 178\u2013183.","journal-title":"Indagationes Mathematicae"},{"key":"BF00372552_CR15","volume-title":"Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, Vol. XXV","author":"D. Scott","year":"1974","unstructured":"D. Scott, Completeness and axiomatizability in many-valued logic, Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, Vol. XXV, Amer. Math. Soc., Rhode Island, 1974."},{"key":"BF00372552_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-Conclusion Logic","author":"D. J. Shoesmith","year":"1978","unstructured":"D. J. Shoesmith and T. J. Smiley, Multiple-Conclusion Logic, Cambridge University Press, Cambridge, 1978."},{"key":"BF00372552_CR17","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01696782","volume":"37","author":"A. Tarski","year":"1930","unstructured":"A. Tarski, Fundamentale Begriffe der Methodologie der Deductiven Wissenshaften, Monatshefte f\u00fcr Math. und Ph. 37 (1930), pp. 361\u2013404.","journal-title":"Monatshefte f\u00fcr Math. und Ph."},{"key":"BF00372552_CR18","first-page":"71","volume":"9","author":"A. Urquhart","year":"1977","unstructured":"A. Urquhart, A finite matrix whose consequence relation is not finitely axiomatizable, Reports on Mathematical Logic 9 (1977), pp. 71.","journal-title":"Reports on Mathematical Logic"},{"key":"BF00372552_CR19","volume-title":"A Survey of Mathematical Logic","author":"H. Wang","year":"1963","unstructured":"H. Wang, A Survey of Mathematical Logic, North-Holland Publishing Company, Amsterdam, 1963."},{"key":"BF00372552_CR20","unstructured":"R. B. White, A Demonstrably Consistent Type-Free Extension of the Logic BCK, July, 1985 (preprint)."},{"key":"BF00372552_CR21","volume-title":"Lectures on Propositional Calculi","author":"R. W\u00f3jcicki","year":"1984","unstructured":"R. W\u00f3jcicki, Lectures on Propositional Calculi, Ossolineum, Warsaw, 1984."},{"key":"BF00372552_CR22","first-page":"67","volume":"3","author":"A. Wro\u0144ski","year":"1974","unstructured":"A. Wro\u0144ski, On cardinalities of matrices strongly adequate for the intuitionistic propositional logic, Reports on Mathematical Logic 3 (1974), pp. 67\u201372.","journal-title":"Reports on Mathematical Logic"},{"key":"BF00372552_CR23","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1007\/BF02123410","volume":"35","author":"A. Wro\u0144ski","year":"1976","unstructured":"A. Wro\u0144ski, On finitely based consequence operations, Studia Logica 35 (1976), pp. 453\u2013458.","journal-title":"Studia Logica"},{"key":"BF00372552_CR24","first-page":"68","volume":"8","author":"A. Wro\u0144ski","year":"1979","unstructured":"A. Wro\u0144ski, A three element matrix whose consequence operation is not finitely based, Bulletin of the Section of Logic, Polish Academy of Sciences 8 (1979), pp. 68\u201371.","journal-title":"Bulletin of the Section of Logic, Polish Academy of Sciences"},{"key":"BF00372552_CR25","volume-title":"An Essay in Matrix Semantics for Consequence Relations","author":"J. Zygmunt","year":"1984","unstructured":"J. Zygmunt, An Essay in Matrix Semantics for Consequence Relations, Acta Universitatis Wratislaviensis No. 741, Wroc\u0142aw, 1984."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00372552.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00372552\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00372552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T22:55:26Z","timestamp":1682808926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00372552"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["BF00372552"],"URL":"https:\/\/doi.org\/10.1007\/bf00372552","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}