{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T14:21:23Z","timestamp":1648995683659},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1007\/s10849-012-9168-y","type":"journal-article","created":{"date-parts":[[2013,2,12]],"date-time":"2013-02-12T05:10:42Z","timestamp":1360645842000},"page":"115-137","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning About Truth in First-Order Logic"],"prefix":"10.1007","volume":"22","author":[{"given":"Claes","family":"Stranneg\u00e5rd","sequence":"first","affiliation":[]},{"given":"Fredrik","family":"Engstr\u00f6m","sequence":"additional","affiliation":[]},{"given":"Abdul Rahim","family":"Nizamani","sequence":"additional","affiliation":[]},{"given":"Lance","family":"Rips","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,2,13]]},"reference":[{"key":"9168_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814273","volume-title":"Reasoning: Studies of human inference and its foundations","author":"JE Adler","year":"2008","unstructured":"Adler, J. E., & Rips, L. J. (2008). Reasoning: Studies of human inference and its foundations. Cambridge: Cambridge University Press."},{"key":"9168_CR2","volume-title":"The atomic components of thought","author":"JR Anderson","year":"1998","unstructured":"Anderson, J. R., & Lebiere, C. (1998). The atomic components of thought. Mahwah, NJ: Lawrence Erlbaum."},{"key":"9168_CR3","doi-asserted-by":"crossref","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"MDS Braine","year":"1998","unstructured":"Braine, M. D. S., & O\u2019Brien, D. P. (1998). Mental logic. UK: L. Erlbaum Associates."},{"key":"9168_CR4","unstructured":"Cassimatis, N. (2002). Polyscheme: A cognitive architecture for integrating multiple representation and inference schemes. PhD thesis."},{"key":"9168_CR5","unstructured":"Ebbinghaus, H. D. (1985). Extended logics: The general framework. Model-theoretic logics (pp. 25\u201376)."},{"key":"9168_CR6","unstructured":"Engstr\u00f6m, F. (2002). Satisfaction classes in nonstandard models of arithmetic. Licentiate thesis, Chalmers University of Technology."},{"key":"9168_CR7","volume-title":"Symbolic logic: an introduction","author":"FB Fitch","year":"1952","unstructured":"Fitch, F. B. (1952). Symbolic logic: an introduction. New York: Ronald Press."},{"key":"9168_CR8","unstructured":"Gentzen, G. (1969). Investigation into logical deduction, 1935. In M. E. Szabo (Eds.), The collected papers of Gerhard Gentzen. North-Holland Amsterdam."},{"key":"9168_CR9","doi-asserted-by":"crossref","unstructured":"Geuvers, H., & Nederpelt, R. (2004). Rewriting for Fitch style natural deductions. In Rewriting techniques and applications. Springer (pp. 134\u2013154).","DOI":"10.1007\/978-3-540-25979-4_10"},{"issue":"1","key":"9168_CR10","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3758\/BF03211170","volume":"21","author":"KJ Gilhooly","year":"1993","unstructured":"Gilhooly, K. J., Logie, R. H., Wetherick, N. E., & Wynn, V. (1993). Working memory and strategies in syllogistic-reasoning tasks. Memory & Cognition, 21(1), 115\u2013124.","journal-title":"Memory & Cognition"},{"issue":"4","key":"9168_CR11","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1080\/14640747608400587","volume":"28","author":"GJ Hitch","year":"1976","unstructured":"Hitch, G. J., & Baddeley, A. D. (1976). Verbal reasoning and working memory. The Quarterly Journal of Experimental Psychology, 28(4), 603\u2013621.","journal-title":"The Quarterly Journal of Experimental Psychology"},{"key":"9168_CR12","volume-title":"The Cambridge handbook of thinking and reasoning","author":"KJ Holyoak","year":"2005","unstructured":"Holyoak, K. J., & Morrison, R. G. (2005). The Cambridge handbook of thinking and reasoning. Cambridge: Cambridge University Press."},{"key":"9168_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in computer science: Modelling and reasoning about systems","author":"M Huth","year":"2004","unstructured":"Huth, M., & Ryan, M. (2004). Logic in computer science: Modelling and reasoning about systems. Cambridge, UK: Cambridge University Press."},{"key":"9168_CR14","first-page":"5","volume":"1","author":"S Jaskowski","year":"1934","unstructured":"Jaskowski, S. (1934). The theory of deduction based on the method of suppositions. Studia Logica, 1, 5\u201332.","journal-title":"Studia Logica"},{"key":"9168_CR15","volume-title":"Mental models","author":"PN Johnson-Laird","year":"1983","unstructured":"Johnson-Laird, P. N. (1983). Mental models. Cambridge, MA: Harvard University Press."},{"key":"9168_CR16","volume-title":"Cognitive psychology: Mind and brain","author":"SM Kosslyn","year":"2006","unstructured":"Kosslyn, S. M., & Smith, E. E. (2006). Cognitive psychology: Mind and brain. Upper Saddle River, NJ: Prentice-Hall Inc."},{"issue":"3","key":"9168_CR17","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":"9168_CR18","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: Cambridge University Press."},{"key":"9168_CR19","unstructured":"Nizamani, A. R. (2010). Anthropomorphic proof system for first-order logic. Masters thesis, Chalmers University of Technology."},{"key":"9168_CR20","unstructured":"Prawitz, D. (1965). Natural deduction. In A proof-theoretical study, volume 3 of Stockholm studies in philosophy. Stockholm: Almqvist & Wiksell."},{"key":"9168_CR21","unstructured":"Rips, L. (1996). The psychology of proof. Bradford."},{"key":"9168_CR22","volume-title":"Handbook of automated reasoning","author":"A Robinson","year":"2001","unstructured":"Robinson, A., & Voronkov, A. (2001). Handbook of automated reasoning. The Netherlands: Elsevier Science."},{"key":"9168_CR23","doi-asserted-by":"crossref","unstructured":"Sheeran, M., & St\u00e5lmarck, G. (January 2000). A tutorial on St\u00e5lmarck\u2019s proof procedure for propositional logic. Formal Methods in Systems Design, 16(1), 23\u201358.","DOI":"10.1023\/A:1008725524946"},{"key":"9168_CR24","unstructured":"Smullyan, R. M. (1995). Logic, First-Order (second corrected edition). NewYork: Dover. (Berlin: Heidelberg, New York: First published in 1968 by Springer)."},{"key":"9168_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human reasoning and cognitive science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., & van Lambalgen, M. (2008). Human reasoning and cognitive science. Cambridge, MA: Bradford Books MIT Press."},{"issue":"3","key":"9168_CR26","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/s10849-009-9102-0","volume":"19","author":"C Stranneg\u00e5rd","year":"2010","unstructured":"Stranneg\u00e5rd, C., Ulfsb\u00e4cker, S., Hedqvist, D., & G\u00e4rling, T. (2010). Reasoning processes in propositional logic. Journal of Logic, Language and Information, 19(3), 283\u2013314.","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"9168_CR27","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1080\/09528130701191560","volume":"19","author":"R Sun","year":"2007","unstructured":"Sun, R. (2007). The importance of cognitive architectures: An analysis based on CLARION. Journal of Experimental & Theoretical Artificial Intelligence, 19(2), 159\u2013193.","journal-title":"Journal of Experimental & Theoretical Artificial Intelligence"},{"issue":"4","key":"9168_CR28","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1080\/14640749308401033","volume":"46","author":"M Toms","year":"1993","unstructured":"Toms, M., Morris, N., & Ward, D. (1993). Working memory and conditional reasoning. The Quarterly Journal of Experimental Psychology, 46(4), 679\u2013699.","journal-title":"The Quarterly Journal of Experimental Psychology"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-012-9168-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T12:49:11Z","timestamp":1562676551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-012-9168-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["9168"],"URL":"https:\/\/doi.org\/10.1007\/s10849-012-9168-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}