ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
構成的論理
出典:Wiktionary
constructive logic (countable かつ uncountable, 複数形 constructive logics)
constructive logic