On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions.

This paper considers whether the sequential application of a combination of a merging operator and a ranking construction operator predicts human propositional reasoning. Our formally sound approach is benchmarked on data from a psychological experiment, demonstrating that the approach is cognitively more adequate than classical logic.