This is a preview. Log in through your library . Journal Information Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic (those of ...
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→ ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback