Abstract: A theory of substructural negations as impossibility and as unnecessity based on bi-intuitionistic logic has been developed by Takuro Onishi
確定! 回上一頁