Reasoning processes in propositional logic

DOI10.1007/s10849-009-9102-0zbMath1202.03019OpenAlexW1988106090MaRDI QIDQ1959223

Tommy Gärling, David Hedqvist, Simon Ulfsbäcker, Claes Strannegård

Publication date: 6 October 2010

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-009-9102-0

zbMATH Keywords

propositional logicreasoningproof systembounded resourcespsychological experiment

Mathematics Subject Classification ID

Logic in computer science (03B70) Cognitive psychology (91E10) Classical propositional logic (03B05)

Related Items (1)

Reasoning about truth in first-order logic

Uses Software

• Pesca

Cites Work

• On a double of a free group
• Constructivism in mathematics. An introduction. Volume II
• Handbook of proof theory
• Rewriting Techniques and Applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning processes in propositional logic