Papers with keyword "mathematical deductivist models"