Report copyright - Coherence and Transitivity of Subtyping as Entailment · Coherence and Transitivity of Subtyping as Entailment 495 rule for! are the first requests for a logic of subtyping: (ax)
Please pass captcha verification before submit form
Please pass captcha verification before submit form