Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for ...
C. Lewy, Entailment and Propositional Identity, Proceedings of the Aristotelian Society, New Series, Vol. 64 (1963 - 1964), pp. 107-122 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback