논문KCI 등재
The Condition under Which a Pre-logic Becomes an Implication Algebra
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류수학
초록
Abstract
We show that a pre-logic which is a generalization of propositional intuitionistic logic becomes an implication algebra if and only if it satisfies the quasi-commutativity.
관련 논문AI추천
Remarks on the Valid Equations in Lattice Implication AlgebrasJooheeJeong경북대학교 자연과학대학 수학과 · Kyungpook Mathematical Journal2003 · 제43권 제4호On fuzzy implicative filters of lattice implication algebrasEun Hwan Roh$, Qun Zhang, Yiquan Zhu대한수학회 · 대한수학회논문집2003 · 제18권 제4호A uniform space of fuzzy implication algebras노은환, Ke Yun Qin, Ting Rong Zou, Yang Xu대한수학회 · 대한수학회논문집2002 · 제17권 제2호Existence of Fuzzy Ideals with Additional Conditions in BCK/BCI-algebras박철환, 전영배한국수학교육학회 · 이론수학과 교직수학2007 · 제14권 제3호A method to make BCK-algebras박철환, 이경자, 전영배대한수학회 · 대한수학회논문집2007 · 제22권 제4호Algebraic semantics for some weak Boolean logics양은석한국논리학회 · 논리연구2006 · 제9권 제2호
이 간행물의 다른 논문 (16건)
A Note on Strongly Euclidean SemiringP. Mukhopadhyaypp. 163-167Positive Interpolation on Aχ = y in CSL-algebra Alg L강주호, Young Soo Jopp. 169-173Limit Distribution for Sums of the Reciprocals of Sine of Random VariablesK. Neammaneepp. 175-189Some Geometric Properties of Cesaro Sequence SpaceW. Sanhan, S. Suantaipp. 191-197On a Class of p-valent Analytic Functions with Complex OrderAkshaya KumarMohanty, Jagannath Patelpp. 199-209