Korean Journal of Logic (논리연구)
- Volume 12 Issue 2
- /
- Pages.115-139
- /
- 2009
- /
- 1598-7493(pISSN)
On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic
- Yang, Eun-Suk (Faculty of Liberal Arts and Teacher Education University of Seoul)
- Received : 2009.05.19
- Accepted : 2009.08.19
- Published : 2009.08.31
Abstract
This paper investigates an extension of the uninorm (based) logic UL, which is obtained by adding (t-weakening,
이 논문에서는 멧칼페와 몬테그나([8])에 의해 소개된 uninorm logic UL에 (t-weakening, Wt) ((
Keywords