The Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics 论文

1996引用 241
DOI
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

The Method of Hypersequents in the Proof Theory of Propositional Non-classical Logics · 相关文章

暂无数据