This is a preview. Log in through your library . Abstract We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the ...

We discuss Smirnov's problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H→ ...

Logic is among the oldest and most foundational of the university disciplines. The goal is to equip students with most general possible framework for sound and rigorous reasoning — one that works ...