Representation and extension of states on MV-algebras (English)
- New search for: Kroupa, TomáŠ
- New search for: Kroupa, TomáŠ
In:
Archive for Mathematical Logic
;
45
, 4
; 381-392
;
2005
-
ISSN:
- Article (Journal) / Print
-
Title:Representation and extension of states on MV-algebras
-
Contributors:Kroupa, Tomአ( author )
-
Published in:Archive for Mathematical Logic ; 45, 4 ; 381-392
-
Publisher:
- New search for: Springer-Verlag
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2005
-
ISSN:
-
ZDBID:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 54.10 / 08.33 / 31.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 45, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 381
-
Representation and extension of states on MV-algebrasKroupa, Tomአet al. | 2006
- 393
-
Small Π01 ClassesBinns, Stephen et al. | 2006
- 411
-
Decision methods for linearly ordered Heyting algebrasDyckhoff, Roy / Negri, Sara et al. | 2006
- 423
-
On constants and the strict order propertyTanović, Predrag et al. | 2006
- 431
-
Upper bounds on complexity of Frege proofs with limited use of certain schemataNaumov, Pavel et al. | 2006
- 447
-
Herbrand's theorem and term inductionBaaz, Matthias / Moser, Georg et al. | 2006
- 505
-
C-Quasi-Minimal enumeration degrees below c'Solon, Boris et al. | 2006