This is a preview. Log in through your library . Abstract The main concern of this paper is the design of a noetherian and confluent normalization for LK 2 (that is, classical second order predicate ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback