{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T12:50:03Z","timestamp":1694868603956},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2013,11,16]],"date-time":"2013-11-16T00:00:00Z","timestamp":1384560000000},"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,12]]},"DOI":"10.1007\/s10992-013-9307-1","type":"journal-article","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T01:46:19Z","timestamp":1384479979000},"page":"1065-1100","source":"Crossref","is-referenced-by-count":4,"title":["A Curious Dialogical Logic and its Composition Problem"],"prefix":"10.1007","volume":"43","author":[{"given":"Sara L.","family":"Uckelman","sequence":"first","affiliation":[]},{"given":"Jesse","family":"Alama","sequence":"additional","affiliation":[]},{"given":"Aleks","family":"Knoks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"9307_CR1","unstructured":"Alama, J., Knoks, A., Uckelman, S.L. (2011). Dialogue Games for Classical Logic (short paper). In M. Giese & R. Kuznets (Eds.), TABLEAUX 2011: Workshops, Tutorials, and Short Papers (pp. 82\u201386)."},{"key":"9307_CR2","unstructured":"Alama, J., & Uckelman, S.L. (2010). A Curious Dialogical Logic and Its Composition Problem. Preprint. arXiv: 1008.0080 ."},{"key":"9307_CR3","unstructured":"Alama, J., & Uckelman, S.L. (2012). What Is Dialogical About Dialogical Logic? In H.J. Ribeiro (Ed.), Inside Arguments: Logic and the Study of Argumentation (pp. 207\u2013222). Newcastle: Cambridge Scholars Publication."},{"issue":"1\u20133","key":"9307_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A Blass","year":"1992","unstructured":"Blass, A. (1992). A Game Semantics for Linear Logic. Annals of Pure and Applied Logic, 56(1\u20133), 183\u2013220.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9307_CR5","unstructured":"Clerbout, N. (2011). Dialogical Games for First-Order Logic and Tableaux. Presented at the 14e Congr\u00e8s de Logique, M\u00e9thodologie et Philosophie des Sciences (pp. 19\u201326), juillet 2011. Nancy, France."},{"key":"9307_CR6","doi-asserted-by":"crossref","unstructured":"Clerbout, N. (2013). First-Order Dialogical Games and Tableaux. Journal of Philosophical Logic. Online, doi:10.1007\/s10992-013-9289-z.","DOI":"10.1007\/s10992-013-9289-z"},{"key":"9307_CR7","unstructured":"D\u2019Agostino, M. (1999). Tableau Methods for Classical Propositional Logic. In M. D\u2019Agostino, D.M. Gabbay, R. H\u00e4hnle, J. Posegga (Eds.), Handbook of Tableau Methods (pp. 45\u2013123). New York: Springer."},{"key":"9307_CR8","unstructured":"Di Cosmo, R., & Miller, D. (2010). Linear Logic. In E.N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. CSLI Publications, fall edition. http:\/\/plato.stanford.edu\/archives\/fall2010\/entries\/logic-linear\/ ."},{"key":"9307_CR9","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0168-0072(85)90016-8","volume":"28","author":"W Felscher","year":"1985","unstructured":"Felscher, W. (1985). Dialogues, Strategies, and Intuitionistic Provability. Annals of Pure and Applied Logic, 28, 217\u2013254.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9307_CR10","unstructured":"Felscher, W. (1986). Dialogues as Foundation for Intuitionistic Logic. In D. Gabbay & F. G\u00fcnther (Eds.), Handbook of Philosophical Logic (Vol. III, pp. 341\u2013372). Amsterdam: Reidel."},{"key":"9307_CR11","doi-asserted-by":"crossref","unstructured":"Ferm\u00fcller, C., & Ciabattoni, A. (2003). From Intuitionistic Logic to G\u00f6del-Dummett Logic via Parallel Dialogue Games. In ISMVL 2003, Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (pp. 188\u2013195). Tokyo.","DOI":"10.1109\/ISMVL.2003.1201405"},{"key":"9307_CR12","doi-asserted-by":"crossref","unstructured":"Ferm\u00fcller, C.G. (2003). Parallel Dialogue Games and Hypersequents for Intermediate Logics. In M.C. Mayer, F. Pirri (Eds.), TABLEAUX 2003 Automated Reasoning with Analytic Tableaux and Related Methods (pp. 48\u201364).","DOI":"10.1007\/978-3-540-45206-5_7"},{"issue":"3","key":"9307_CR13","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10849-005-9001-y","volume":"15","author":"M Finger","year":"2006","unstructured":"Finger, M., & Gabbay, D. (2006). Cut and Pay. Journal of Logic, Language and Information, 15(3), 195\u2013218.","journal-title":"Journal of Logic, Language and Information"},{"key":"9307_CR14","unstructured":"Hodges, W. (2009). Logic and Games. In E.N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. CSLI Publications, Spring edition. http:\/\/plato.stanford.edu\/archives\/spr2009\/entries\/logic-games\/ ."},{"key":"9307_CR15","unstructured":"Holliday, W.H., Hoshi, T., Icard, T.F., III (2012). A Uniform Logic of Information Dynamics. In T. Bolander, T. Bra\u00fcner, S. Ghilardi, L. Moss (Eds.), Advances in Modal Logic (Vol. 9, pp. 348\u2013367)."},{"key":"9307_CR16","unstructured":"Keiff, L. (2009). Dialogical Logic. In E.N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. CSLI Publications, Summer edition. http:\/\/plato.stanford.edu\/archives\/sum2009\/entries\/logic-dialogical\/ ."},{"key":"9307_CR17","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF00485598","volume":"63","author":"ECW Krabbe","year":"1985","unstructured":"Krabbe, E.C.W. (1985). Formal Systems of Dialogue Rules. Synthese, 63, 295\u2013328.","journal-title":"Synthese"},{"key":"9307_CR18","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1111\/1467-8349.00077","volume":"75","author":"ECW Krabbe","year":"2001","unstructured":"Krabbe, E.C.W. (2001). Dialogue Foundations: Dialogue Logic Revisited [sic]. The Aristotelian Society Supplement, 75, 33\u201349.","journal-title":"The Aristotelian Society Supplement"},{"key":"9307_CR19","unstructured":"Krabbe, E.C.W. (2006). Dialogue Logic. In D.M. Gabbay & J. Woods (Eds.), Handbook of the History of Logic (Vol. 7, pp. 665\u2013704). New York: Elsevier."},{"key":"9307_CR20","unstructured":"Lorenz, K. (1961). Arithmetik und Logik als Spiele. Ph.D. thesis, Universit\u00e4t Kiel."},{"issue":"32\u201355","key":"9307_CR21","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF01967817","volume":"11","author":"K Lorenz","year":"1968","unstructured":"Lorenz, K. (1968). Dialogspiele als semantische Grundlage von Logikkalkulen. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung, 11(32\u201355), 73\u2013100.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"9307_CR22","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1023\/A:1010367416884","volume":"127","author":"K Lorenz","year":"2001","unstructured":"Lorenz, K. (2001). Basic Objectives of Dialogue Logic in Historical Perspective. Synthese, 127, 255\u2013263.","journal-title":"Synthese"},{"key":"9307_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-01539-1","volume-title":"Einf\u00fchrung in die operative Logik und Mathematik","author":"P Lorenzen","year":"1955","unstructured":"Lorenzen, P. (1955). Einf\u00fchrung in die operative Logik und Mathematik. Berlin: Springer."},{"key":"9307_CR24","unstructured":"Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Wissenschaftliche Buchgesellschaft."},{"key":"9307_CR25","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s11225-009-9196-z","volume":"92","author":"J Marcos","year":"2009","unstructured":"Marcos, J. (2009). What is a Non-truth-functional Logic? Studia Logica, 92, 215\u2013240.","journal-title":"Studia Logica"},{"issue":"3","key":"9307_CR26","doi-asserted-by":"crossref","first-page":"415","DOI":"10.2307\/2270458","volume":"31","author":"S McCall","year":"1996","unstructured":"McCall, S. (1996). Connexive Implication. Journal of Symbolic Logic, 31(3), 415\u2013433.","journal-title":"Journal of Symbolic Logic"},{"key":"9307_CR27","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1006294205280","volume":"18","author":"G Priest","year":"1999","unstructured":"Priest, G. (1999). Negation as Cancellation, and Connexive Logic. Topoi, 18, 141\u2013148.","journal-title":"Topoi"},{"key":"9307_CR28","doi-asserted-by":"crossref","unstructured":"Priest, G. (2006). In In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford: Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"key":"9307_CR29","unstructured":"Rahman, S. (2011). Negation in the Logic of First Degree Entailment and Tonk: A Dialogical Study. In G. Primeiro & M. Marion (Eds.), The Realism-Antirealism Debate in the Age of Alternative Logics (pp 175\u2013202). New York: Springer."},{"key":"9307_CR30","first-page":"301","volume-title":"On Dialogues and natural Deduction. In G. Primeiro & S. Rahman (Eds.), Acts of Knowledge: History, Philosophy and Logic","author":"S Rahman","year":"2009","unstructured":"Rahman, S., Clerbout, N., Keiff, L. (2009). On Dialogues and natural Deduction. In G. Primeiro & S. Rahman (Eds.), Acts of Knowledge: History, Philosophy and Logic (pp. 301\u2013355). London: College Publications."},{"key":"9307_CR31","first-page":"359","volume-title":"On How to be a Dialogician. In D. Vanderveken (Ed.), Logic, Thought and Action","author":"S Rahman","year":"2004","unstructured":"Rahman, S., & Keiff, L. (2004). On How to be a Dialogician. In D. Vanderveken (Ed.), Logic, Thought and Action (pp. 359\u2013408). New York: Springer."},{"issue":"2","key":"9307_CR32","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N Rescher","year":"1970","unstructured":"Rescher, N., & Manor, R. (1970). On Inference from Inconsistent Premises. Theory and Decision, 1(2), 179\u2013217.","journal-title":"Theory and Decision"},{"key":"9307_CR33","unstructured":"Restall, G. (2009). Substructural Logics. In E.N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. CSLI Publications, summer edition. http:\/\/plato.stanford.edu\/archives\/sum2009\/entries\/logic-substructural\/ ."},{"key":"9307_CR34","unstructured":"R\u00fcckert, H. (2007). Dialogues as a Dynamic Framework for Logic. Ph.D. thesis. Universiteit Leiden."},{"key":"9307_CR35","unstructured":"Smullyan, R.M. (1995). First-Order Logic. New York: Dover."},{"key":"9307_CR36","unstructured":"S\u00f8rensen, M.H., & Urzyczyn, P. (2006). Lectures on the Curry-Howard Isomorphism. New York: Elsevier."},{"key":"9307_CR37","unstructured":"S\u00f8rensen, M.H., & Urzyczyn, P. (2007). Sequent Calculus, Dialogues, and Cut Elimination. In E. Barendsen, V. Capretta, M. Niqui (Eds.), Reflectons on Type Theory, \u03bb-Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday (pp. 253\u2013261). Radboud Universiteit Nijmegen."},{"key":"9307_CR38","unstructured":"Tarski, A. (1983). On the Concept of Logical Consequence. In J. Corcoran (Ed.), Logic, Semantics, Metamathematics (pp. 409\u2013420), 2nd edn. Hackett. Translated by J. H. Woodger."},{"key":"9307_CR39","doi-asserted-by":"crossref","unstructured":"Troelstra, A.S., & Schwichtenberg, H. (2000). Basic Proof Theory, Vol. 43 of Cambridge Tracts in Theoretical Computer Science, 2nd edn. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781139168717"},{"key":"9307_CR40","unstructured":"Uckelman, S.L. (2012). Some Remarks on the E-Rule in Dialogical Logic. Preprint in submission."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9307-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9307-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9307-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T23:00:03Z","timestamp":1564700403000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9307-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,16]]},"references-count":40,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["9307"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9307-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,16]]}}}