Falsification-Aware Semantics and Sequent Calculi for Classical Logic.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (1):99-126.details.
確定! 回上一頁