{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:36:45Z","timestamp":1740123405508,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"S22","license":[{"start":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T00:00:00Z","timestamp":1554336000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T00:00:00Z","timestamp":1554336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11229-019-02183-z","type":"journal-article","created":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T14:44:01Z","timestamp":1554475441000},"page":"5481-5504","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["What is a logical theory? On theories containing assertions and denials"],"prefix":"10.1007","volume":"198","author":[{"given":"Carolina","family":"Blasio","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2601-8164","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Marcos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,4]]},"reference":[{"issue":"2","key":"2183_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s00012-018-0522-z","volume":"79","author":"G Badia","year":"2018","unstructured":"Badia, G., & Marcos, J. (2018). On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions. Algebra Universalis, 79(2), 41.","journal-title":"Algebra Universalis"},{"key":"2183_CR2","doi-asserted-by":"publisher","first-page":"233","DOI":"10.18778\/0138-0680.46.3.4.05","volume":"46","author":"C Blasio","year":"2017","unstructured":"Blasio, C., Marcos, J., & Wansing, H. (2017). An inferentially many-valued two-dimensional notion of entailment. Bulletin of the Section of Logic, 46, 233\u2013262.","journal-title":"Bulletin of the Section of Logic"},{"key":"2183_CR3","volume-title":"Formalization of logic","author":"R Carnap","year":"1943","unstructured":"Carnap, R. (1943). Formalization of logic. Cambridge: Harvard."},{"key":"2183_CR4","volume-title":"Model theory. Studies in logic and the foundations of mathematics","author":"CC Chang","year":"1973","unstructured":"Chang, C. C., & Keisler, H. J. (1973). Model theory. Studies in logic and the foundations of mathematics (Vol. 73). New York: North-Holland."},{"key":"2183_CR5","volume-title":"Foundations of mathematical logic","author":"H Curry","year":"1963","unstructured":"Curry, H. (1963). Foundations of mathematical logic. New York: McGraw-Hill."},{"issue":"4","key":"2183_CR6","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BF01371630","volume":"42","author":"J Czelakowski","year":"1983","unstructured":"Czelakowski, J. (1983). Some theorems on structural entailment relations. Studia Logica, 42(4), 417\u2013429.","journal-title":"Studia Logica"},{"key":"2183_CR7","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: Clarendon Press."},{"key":"2183_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantic investigations in Heyting\u2019s intuitionistic logic. Synthese library","author":"DM Gabbay","year":"1981","unstructured":"Gabbay, D. M. (1981). Semantic investigations in Heyting\u2019s intuitionistic logic. Synthese library (Vol. 148). Berlin: Springer."},{"key":"2183_CR9","first-page":"180","volume":"8","author":"D Hilbert","year":"1900","unstructured":"Hilbert, D. (1900). \u00dcber den Zahlbegriff. Jahresbericht der Deutschen Mathematiker-Vereiningung, 8, 180\u2013184.","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereiningung"},{"key":"2183_CR10","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":"2183_CR11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-0346-0145-0_23","volume-title":"Universal logic: An anthology","author":"L Humberstone","year":"2012","unstructured":"Humberstone, L. (2012). Dana Scott\u2019s work with generalized consequence relations. In J.-Y. B\u00e9ziau (Ed.), Universal logic: An anthology (pp. 263\u2013279). Basel: Birkh\u00e4user."},{"key":"2183_CR12","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J \u0141os","year":"1958","unstructured":"\u0141os, J., & Suszko, R. (1958). Remarks on sentential logics. Indagationes Mathematicae, 20, 177\u2013183.","journal-title":"Indagationes Mathematicae"},{"key":"2183_CR13","doi-asserted-by":"publisher","unstructured":"Marcelino, S., & Caleiro, C. Axiomatizing non-deterministic many-valued generalized consequence relations. Synthese. https:\/\/doi.org\/10.1007\/s11229-019-02142-8.","DOI":"10.1007\/s11229-019-02142-8"},{"key":"2183_CR14","first-page":"301","volume-title":"Handbook of paraconsistency. Studies in logic","author":"J Marcos","year":"2007","unstructured":"Marcos, J. (2007). Ineffable inconsistencies. In J.-Y. B\u00e9ziau, et al. (Eds.), Handbook of paraconsistency. Studies in logic (Vol. 9, pp. 301\u2013311). London: College Publications."},{"key":"2183_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2506-3","volume-title":"Closure spaces and logic","author":"NM Martin","year":"1996","unstructured":"Martin, N. M., & Pollard, S. (1996). Closure spaces and logic. Dordrecht: Kluwer."},{"issue":"3","key":"2183_CR16","first-page":"347","volume":"XIV","author":"CG Morgan","year":"1973","unstructured":"Morgan, C. G. (1973). Sentential calculus for logical falsehoods. Notre Dame Journal of Formal Logic, XIV(3), 347\u2013353.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2183_CR17","volume-title":"Classical propositional operators: An exercise in the foundations of logic","author":"K Segerberg","year":"1982","unstructured":"Segerberg, K. (1982). Classical propositional operators: An exercise in the foundations of logic. Oxford: Oxford University Press."},{"key":"2183_CR18","doi-asserted-by":"crossref","unstructured":"Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In Proceedings of the Tarski symposium (Vol. 25, pp. 411\u2013436). Providence: American Mathematical Society.","DOI":"10.1090\/pspum\/025\/0363802"},{"key":"2183_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-conclusion logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D. J., & Smiley, T. J. (1978). Multiple-conclusion logic. Cambridge: Cambridge University Press."},{"key":"2183_CR20","first-page":"22","volume":"23","author":"A Tarski","year":"1930","unstructured":"Tarski, A. (1930). \u00dcber einige fundamentale Begriffe der Metamathematik. Comptes Rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, 23, 22\u201329.","journal-title":"Comptes Rendus des s\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"2183_CR21","unstructured":"Tarski, A. (1936). \u00dcber den Begriff der logischen Folgerung. In Actes du Congr\u00e8s International de Philosophie Scientifique (Vol. 7, pp. 1\u201311). Paris."},{"key":"2183_CR22","unstructured":"Tarski, A. (1952). Some notions and methods on the borderline of algebra and metamathematics. In Proceedings of the international congress of mathematicians (Vol. I, pp. 705\u2013719). American Mathematical Society."},{"key":"2183_CR23","volume-title":"Theory of logical calculi. Synthese library","author":"R W\u00f3jcicki","year":"1998","unstructured":"W\u00f3jcicki, R. (1998). Theory of logical calculi. Synthese library (Vol. 199). Dordrecht: Kluwer."},{"key":"2183_CR24","volume-title":"An essay in matrix semantics for consequence relations. Acta Universitatis Wratislaviensis","author":"J Zygmunt","year":"1984","unstructured":"Zygmunt, J. (1984). An essay in matrix semantics for consequence relations. Acta Universitatis Wratislaviensis (Vol. 741). Wroc\u0142aw: U. Wroc\u0142aw."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02183-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-019-02183-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-019-02183-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T17:14:31Z","timestamp":1721150071000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-019-02183-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,4]]},"references-count":24,"journal-issue":{"issue":"S22","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["2183"],"URL":"https:\/\/doi.org\/10.1007\/s11229-019-02183-z","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2019,4,4]]},"assertion":[{"value":"8 September 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}