{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T05:50:52Z","timestamp":1649137852030},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,10,10]],"date-time":"2009-10-10T00:00:00Z","timestamp":1255132800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s10849-009-9102-0","type":"journal-article","created":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T08:49:52Z","timestamp":1255337392000},"page":"283-314","source":"Crossref","is-referenced-by-count":5,"title":["Reasoning Processes in Propositional Logic"],"prefix":"10.1007","volume":"19","author":[{"given":"Claes","family":"Stranneg\u00e5rd","sequence":"first","affiliation":[]},{"given":"Simon","family":"Ulfsb\u00e4cker","sequence":"additional","affiliation":[]},{"given":"David","family":"Hedqvist","sequence":"additional","affiliation":[]},{"given":"Tommy","family":"G\u00e4rling","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,10,10]]},"reference":[{"key":"9102_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814273","volume-title":"Reasoning: Studies of human inference and its foundations","author":"J. E. Adler","year":"2008","unstructured":"Adler J. E., Rips L. J. (2008) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge"},{"key":"9102_CR2","volume-title":"The atomic components of thought","author":"J. Anderson","year":"1998","unstructured":"Anderson J., Lebiere C. (1998) The atomic components of thought. Lawrence Erlbaum, Mahwah NJ"},{"key":"9102_CR3","first-page":"89","volume-title":"Human memory: A proposed system and its control processes","author":"R. C. Atkinson","year":"1968","unstructured":"Atkinson R. C., Shiffrin R. M. (1968) Human memory: A proposed system and its control processes. Academic Press, New York, pp 89\u2013195"},{"key":"9102_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198528012.001.0001","volume-title":"Working memory, thought and action","author":"A. Baddeley","year":"2007","unstructured":"Baddeley A. (2007) Working memory, thought and action. Oxford University Press, Oxford"},{"key":"9102_CR5","doi-asserted-by":"crossref","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"M. D. S. Braine","year":"1998","unstructured":"Braine M. D. S., O\u2019Brien D. P. (1998) Mental logic. L. Erlbaum Associates, England"},{"key":"9102_CR6","doi-asserted-by":"crossref","unstructured":"Braine, M. D. S., Reiser, B. J., & Rumain, B. (1998). Evidence for the theory: Predicting the difficulty of propositional logic inference problems. In Mental logic (pp. 91\u2013144). England: L. Erlbaum Associates.","DOI":"10.4324\/9781410603005"},{"key":"9102_CR7","volume-title":"Handbook of proof theory","year":"1998","unstructured":"Buss, S. (eds) (1998) Handbook of proof theory. Elsevier, Amsterdam"},{"key":"9102_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R. M. J. Byrne","year":"1989","unstructured":"Byrne R. M. J. (1989) Suppressing valid inferences with conditionals. Cognition 31: 61\u201383","journal-title":"Cognition"},{"issue":"12","key":"9102_CR9","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1016\/j.tics.2003.10.005","volume":"7","author":"A. R. A. Conway","year":"2003","unstructured":"Conway A. R. A., Kane M. J., Engle R. W. (2003) Working memory capacity and its relation to general intelligence. Trends in Cognitive Sciences 7(12): 547\u2013552","journal-title":"Trends in Cognitive Sciences"},{"issue":"1","key":"9102_CR10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1017\/S0140525X01003922","volume":"24","author":"N. Cowan","year":"2001","unstructured":"Cowan, N. (2001). The magical number 4 in short-term memory: A reconsideration of mental storage capacity. Behavioral and Brain Sciences, 24(1), 87\u2013114.","journal-title":"Behavioral and Brain Sciences"},{"key":"9102_CR11","volume-title":"Symbolic logic: An introduction","author":"F. B. Fitch","year":"1952","unstructured":"Fitch F. B. (1952) Symbolic logic: An introduction. Ronald Press, New York"},{"key":"9102_CR12","first-page":"68","volume-title":"The collected papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gentzen G. (1969) Investigations into logical deductions. In: Szabo M. E. (eds) The collected papers of Gerhard Gentzen. North-Holland Publishing Co, Amsterdam, pp 68\u2013131"},{"key":"9102_CR13","volume-title":"Rewriting techniques and applications, 15th international conference","author":"H. Geuvers","year":"2004","unstructured":"Geuvers H., Nederpelt R. (2004) Rewriting for fitch style natural deductions. In: Oostrom V. (eds) Rewriting techniques and applications, 15th international conference. Springer, New York"},{"issue":"1","key":"9102_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1182613.1182614","volume":"8","author":"A. Guglielmi","year":"2007","unstructured":"Guglielmi A. (2007) A system of interaction and structure. ACM Transactions on Computational Logic 8(1): 1\u201364","journal-title":"ACM Transactions on Computational Logic"},{"key":"9102_CR15","unstructured":"Hedqvist, D. (2007). Human reasoning in propositional logic. Master\u2019s thesis, Chalmers University of Technology."},{"key":"9102_CR16","volume-title":"The Cambridge handbook of thinking and reasoning","year":"2005","unstructured":"Holyoak, K. J. & Morrison, R. (Eds.). (2005). The Cambridge handbook of thinking and reasoning. Cambridge: Cambridge University Press."},{"key":"9102_CR17","unstructured":"Ja\u015bkowski, S. (1934). On the rules of suppositions in formal logic. Studia Logica, 1, 5\u201332. Reprinted in S. McCall (Ed.), Polish logic 1920\u20131939 (pp. 232\u2013258). Oxford: Clarendon Press."},{"key":"9102_CR18","volume-title":"Mental models","author":"P. N. Johnson-Laird","year":"1983","unstructured":"Johnson-Laird P. N. (1983) Mental models. Harvard University Press, Cambridge"},{"key":"9102_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199551330.001.0001","volume-title":"How we reason","author":"P. N. Johnson-Laird","year":"2008","unstructured":"Johnson-Laird P. N. (2008) How we reason. Oxford University Press, Oxford"},{"key":"9102_CR20","volume-title":"Reasoning: Studies of human inference and its foundations","author":"P. N. Johnson-Laird","year":"2008","unstructured":"Johnson-Laird P. N. (2008) Mental models and deductive reasoning. In: Adler J. E., Rips L. J. (eds) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge"},{"issue":"3","key":"9102_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J. Laird","year":"1987","unstructured":"Laird J., Newell A., Rosenbloom P. (1987) Soar: An architecture for general intelligence. Artificial Intelligence 33(3): 1\u201364","journal-title":"Artificial Intelligence"},{"key":"9102_CR22","volume-title":"Reasoning: Studies of human inference and its foundations","author":"M. Lambalgen van","year":"2008","unstructured":"van Lambalgen M., Stenning K. (2008) Interpretation, representation and deductive reasoning. In: Adler J. E., Rips L. J. (eds) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge"},{"key":"9102_CR23","volume-title":"The Cambridge handbook of thinking and reasoning","author":"M. C. Lovett","year":"2005","unstructured":"Lovett M. C., Anderson J. R. (2005) Thinking as a production system. In: Holyoak K. J., Morrison R. (eds) The Cambridge handbook of thinking and reasoning. Cambridge University Press, Cambridge"},{"key":"9102_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195305487.001.0001","volume-title":"Visual memory","author":"S. J. Luck","year":"2008","unstructured":"Luck S. J., Hollingworth A. (2008) Visual memory systems. In: Luck S. J., Hollingworth A. (eds) Visual memory. Oxford University Press, Oxford"},{"key":"9102_CR25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G. A. Miller","year":"1956","unstructured":"Miller G. A. (1956) The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychological Review 63: 81\u201397","journal-title":"Psychological Review"},{"key":"9102_CR26","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural proof theory","author":"S. Negri","year":"2001","unstructured":"Negri S., von Plato J. (2001) Structural proof theory. Cambridge University Press, Cambridge"},{"key":"9102_CR27","doi-asserted-by":"crossref","unstructured":"Newell, A., & Simon, H. A. (1956). The logic theory machine: A complex information processing system. IRE Transactions on Information Theory, IT-2(3), 61\u201379.","DOI":"10.1109\/TIT.1956.1056797"},{"key":"9102_CR28","first-page":"109","volume-title":"Lernende automaten","author":"A. Newell","year":"1961","unstructured":"Newell A., Simon H. A. (1961) GPS, a program that simulates human thought. In: Billing H. (eds) Lernende automaten. R. Oldenbourg, M\u00fcnchen, pp 109\u2013124"},{"key":"9102_CR29","volume-title":"Human problem solving","author":"A. Newell","year":"1972","unstructured":"Newell A., Simon H. A. (1972) Human problem solving. Prentice-Hall, Englewood Cliffs, NJ"},{"key":"9102_CR30","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0749-596X(89)90029-6","volume":"28","author":"S. Newstead","year":"1989","unstructured":"Newstead S. (1989) Interpretational errors in syllogistic reasoning. Journal of Memory and Language 28: 78\u201391","journal-title":"Journal of Memory and Language"},{"key":"9102_CR31","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1006\/jmla.1995.1029","volume":"34","author":"S. Newstead","year":"1995","unstructured":"Newstead S. (1995) Gricean implicatures and syllogistic reasoning. Journal of Memory and Language 34: 644\u2013664","journal-title":"Journal of Memory and Language"},{"key":"9102_CR32","volume-title":"Logical abilities in children (Vol. 1\u20134)","author":"D. N. Osherson","year":"1976","unstructured":"Osherson D. N. (1976) Logical abilities in children (Vol. 1\u20134). Erlbaum, Hillsdale, NJ"},{"key":"9102_CR33","volume-title":"Natural deduction. A proof-theoretical study, Stockholm studies in philosophy (Vol. 3)","author":"D. Prawitz","year":"1965","unstructured":"Prawitz D. (1965) Natural deduction. A proof-theoretical study, Stockholm studies in philosophy (Vol. 3). Almqvist & Wiksell, Stockholm"},{"key":"9102_CR34","volume-title":"The psychology of proof","author":"L. Rips","year":"1996","unstructured":"Rips L. (1996) The psychology of proof. Bradford, Cambridge"},{"key":"9102_CR35","volume-title":"Reasoning: Studies of human inference and its foundations","author":"L. J. Rips","year":"2008","unstructured":"Rips L. J. (2008) Logical approaches to human reasoning. In: Adler J. E., Rips L. J. (eds) Reasoning: Studies of human inference and its foundations. Cambridge University Press, Cambridge"},{"key":"9102_CR36","volume-title":"Handbook of automated reasoning","author":"A. Robinson","year":"2001","unstructured":"Robinson A., Voronkov A. (2001) Handbook of automated reasoning. Elsevier Science, Amsterdam"},{"key":"9102_CR37","volume-title":"Beweistheorie Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\u00fccksichtigung der Anwendungsgebiete (Vol. 103)","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte K. (1960) Beweistheorie Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber\u00fccksichtigung der Anwendungsgebiete (Vol. 103). Springer, New York"},{"issue":"1","key":"9102_CR38","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1008725524946","volume":"16","author":"M. Sheeran","year":"2000","unstructured":"Sheeran M., St\u00e5lmarck G. (2000) A tutorial on St\u00e5lmarck\u2019s proof procedure for propositional logic. Formal Methods in Systems Design 16(1): 23\u201358","journal-title":"Formal Methods in Systems Design"},{"key":"9102_CR39","volume-title":"Psychology: The science of mind and behavior","author":"R. E. Smith","year":"2008","unstructured":"Smith R. E., Passer M. W. (2008) Psychology: The science of mind and behavior. McGraw-Hill, New York"},{"key":"9102_CR40","unstructured":"Smullyan, R. M. (1995). First-order logic (2nd corrected ed.). Dover Publications, New York. First published 1968 by Springer."},{"issue":"5","key":"9102_CR41","first-page":"347","volume":"12","author":"C. Stranneg\u00e5rd","year":"2006","unstructured":"Stranneg\u00e5rd C. (2006) A proof system for modeling reasoning processes in propositional logic. Bulletin of Symbolic Logic 12(5): 347","journal-title":"Bulletin of Symbolic Logic"},{"key":"9102_CR42","unstructured":"Stranneg\u00e5rd, C. (2007). Proving first-order sentences with bounded cognitive resources. Philosophical communications, Web series, no. 39, G\u00f6teborg University."},{"key":"9102_CR43","unstructured":"Troelstra A. S., & van Dalen D. (1988). Constructivism in mathematics, vol 1. Studies in logic and the foundations of mathematics (Vol. 121). North Holland, Amsterdam."},{"key":"9102_CR44","volume-title":"Basic proof theory","author":"A. S. Troelstra","year":"1996","unstructured":"Troelstra A. S., Schwichtenberg H. (1996) Basic proof theory. Cambridge University Press, Cambridge"},{"key":"9102_CR45","unstructured":"Wason, P. C. (1966). Reasoning. In New horizons in psychology. Penguin."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9102-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-009-9102-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9102-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:02Z","timestamp":1559269862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-009-9102-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,10]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9102"],"URL":"https:\/\/doi.org\/10.1007\/s10849-009-9102-0","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,10]]}}}