SCOPUS 정보 검색 플랫폼

Volumn 46, Issue 5-6, 2007, Pages 365-378

Provability in predicate product logic

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34249111002 PISSN: 09335846 EISSN: 14320665 Source Type: Journal
DOI: 10.1007/s00153-007-0036-4 Document Type: Article

Times cited : (8)

References (7)

1
- 84968500673
- A note on Hahn's theorem on ordered abelian groups
- Clifford, A.H.: A note on Hahn's theorem on ordered abelian groups. Proc. AMS 5, 860-863 (1954)
- (1954) Proc. AMS , vol.5 , pp. 860-863
- Clifford, A.H.¹

2
- 0004130617
- Kluwer, Boston
- Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer, Boston (1998)
- (1998) Metamathematics of Fuzzy Logic
- Hájek, P.¹

3
- 19044382375
- Making fuzzy description logic more general
- Hájek, P.: Making fuzzy description logic more general. Fuzzy Sets Syst. 154(1), 1-15 (2005)
- (2005) Fuzzy Sets Syst , vol.154 , Issue.1 , pp. 1-15
- Hájek, P.¹

4
- 0036836755
- A classification of BL-algebras
- Laskowski, M.C., Shashoua, Y.V.: A classification of BL-algebras. Fuzzy Sets Syst 131(3), 271-282 (2002)
- (2002) Fuzzy Sets Syst , vol.131 , Issue.3 , pp. 271-282
- Laskowski, M.C.¹ Shashoua, Y.V.²

5
- 12944288114
- Generalized ordinal sums and the decidability of BL-chains
- Laskowski, M.C., Shashoua, Y.V.: Generalized ordinal sums and the decidability of BL-chains. Algebra Univers 52, 137-153 (2004)
- (2004) Algebra Univers , vol.52 , pp. 137-153
- Laskowski, M.C.¹ Shashoua, Y.V.²

6
- 34249038277
- PhD thesis, University of Maryland
- Malekpour, S.: PhD thesis, University of Maryland (2004)
- (2004)
- Malekpour, S.¹

7
- 0037913557
- Three complexity problems in quantified fuzzy logic
- Montagna, F.: Three complexity problems in quantified fuzzy logic. Studi Log 68, 143-152 (2001)
- (2001) Studi Log , vol.68 , pp. 143-152
- Montagna, F.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.