Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク

概要

著者

関連論文

スポンサーリンク