代数と論理の相互作用代数と論理の相互作用完璧な有限代数とその影響を調べてる。計算機科学における論理完璧なパレードフィニット代数: 論理的探求完璧なパレードフィニット代数の概要と論理における彼らの役割。2025-09-27T11:51:00+00:00 ― 1 分で読む
三値論理の有限公理化三値論理の有限公理化めの構造化されたルールを確立する。弱クリーンおよびボハル-クリーン論理のた論理学弱クリーン論理とボフバール-クリーン論理の公理化不確定な真理値を持つ複雑な論理システムのための構造化されたルールを作成する。2025-09-02T02:46:06+00:00 ― 0 分で読む