논문상세정보
-
- 저자 양은석
- 제어번호 106053339
- 학술지명 論理硏究
- 권호사항 Vol. 21 No. 2 [ 2018 ]
- 발행처 한국논리학회
- 발행처 URL http://www.logicalkorea.com
- 자료유형 학술저널
- 수록면 155-173
- 언어 English
- 출판년도 2018
- 등재정보 KCI등재
- 판매처
유사주제 논문( 0)
Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
양은석
2018년
' Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics' 의 참고문헌
-
Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9Kripke, S. [1963]
-
The theory of modelsKripke, S. [1965]
-
Non-associative substructural logics and their semilinear extensions : axiomatization and completeness propertiesCintula, P. [2013]
-
Mathematical Fuzzy LogicCintula, P. [2015]
-
Kripke-style semantics for many-valued logicsMontagna, F. [2003]
-
Kripke-style Semantics for UL양은석 [2012]
-
Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀Montagna, F. [2002]
-
Involutive basic substructural core fuzzy logics: Involutive mianorm-based logicsYang, E. [2017]
-
Formal systems and Recursive FunctionsKripke, S. [1965]
-
Corrigendum to “Kripke-style semantics for many-valued logicsMontagna, F. [2004]
-
Basic substructural core fuzzy logics and their extensions: Mianorm-based logicsYang, E. [2016]
-
Algebraic semantics: semilinear FL-algebras, Handbook of Mathematical Fuzzy Logic, vol 1Horĉík, R. [2011]
-
Algebraic Kripke-style semantics for relevance logicsYang, E. [2014]
-
A non-associative generalization of continuous t-norm-based logicsYang, E. [2017]
-
A general framework for mathematical fuzzy logic, Handbook of Mathematical Fuzzy Logic, vol 1Cintula, P. [2011]