논문KCI 등재
＂Deduction for LŁC and Its Extension＂
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류철학
관련 논문AI추천
The Normalization Theorem for the First-Order Classical Natural Deduction with Disjunctive Syllogism최승락한국논리학회 · 논리연구2021 · 제24권 제2호Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems최승락한국논리학회 · 논리연구2018 · 제21권 제1호Proof-Theoretic Justification for Deduction and the Fundamental Assumption이종현한국논리학회 · 논리연구2024 · 제27권 제2호Implicational Partial Gaggle Logics and Matrix Semantics양은석한국논리학회 · 논리연구2023 · 제26권 제2호Strong Kleene-Diense Logic: a variant of the infinite-valued Kleene-Diense Logic양은석한국논리학회 · 논리연구2005 · 제8권 제2호Algebraic completeness results for sKD and its Extensions양은석한국논리학회 · 논리연구2006 · 제9권 제1호