Výsledky vyhledávání
- 1.0420845 - NHU-C 2014 RU rus J - Článek v odborném periodiku
Bazhenov, N. A. - Tukhbatullina, Regina
O vyčislimoj kategoričnosti bulevoj algebry B(ω) s vydelennym avtomorfizmom.
[Computable categoricity of the Boolean algebra b(omega) with a distinguished automorphism.]
Algebra i Logika. Roč. 52, č. 2 (2013), s. 131-144. ISSN 0373-9252
Institucionální podpora: PRVOUK-P23
Klíčová slova: Boolean algebra with distinguished automorphism * computable categoricity * categoricity spectrum
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0227312 - 2.0404059 - UIVT-O 20000193 RIV CZ eng J - Článek v odborném periodiku
Kramosil, Ivan
Elements of Boolean-Valued Dempster-Shafer Theory.
Neural Network World. Roč. 10, č. 5 (2000), s. 825-835. ISSN 1210-0552.
[SOFSEM 2000 Workshop on Soft Computing. Milovy, 27.11.2000-28.11.2000]
Grant CEP: GA ČR GA201/00/1489
Výzkumný záměr: AV0Z1030915
Klíčová slova: Boolean algebra * belief function * Dempster-Shafer theory * Dempster combination rule * nonspecifity degree
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0003439 - 3.0404039 - UIVT-O 20020005 RIV GB eng J - Článek v odborném periodiku
Kramosil, Ivan
Boolean-Valued Belief Functions.
International Journal of General Systems. Roč. 31, č. 2 (2002), s. 153-181. ISSN 0308-1079. E-ISSN 1563-5104
Grant CEP: GA AV ČR IAA1030803
Výzkumný záměr: AV0Z1030915
Klíčová slova: Dempster-Schafer theory * Boolean algebra
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.241, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0124319 - 4.0403406 - UIVT-O 20010004 RIV SG eng J - Článek v odborném periodiku
Kramosil, Ivan
Dempster Combination Rule with Boolean-Like Processed Belief Functions.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 9, č. 1 (2001), s. 105-121. ISSN 0218-4885. E-ISSN 1793-6411
Grant CEP: GA AV ČR IAA1030803
Výzkumný záměr: AV0Z1030915
Klíčová slova: belief function * Dempster-Shafer theory * Boolean algebra
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.270, rok: 2001
Trvalý link: http://hdl.handle.net/11104/0123716Název souboru Staženo Velikost Komentář Verze Přístup a0403406.pdf 0 2.6 MB Vydavatelský postprint vyžádat - 5.0403196 - UIVT-O 970110 CZ eng V - Výzkumná zpráva
Kramosil, Ivan
Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics.
Prague: ICS AS CR, 1997. 25 s. Technical Report, V-714.
Grant CEP: GA AV ČR IAA1030504
Klíčová slova: probabilistic logic * first-order predicate calculus * Boolean algebra * nonstandard models * Boolean-valued models * probability measure * possibility measure
Trvalý link: http://hdl.handle.net/11104/0123521Název souboru Staženo Velikost Komentář Verze Přístup v714-97.pdf 6 281.6 KB Jiná povolen - 6.0402835 - UIVT-O 960201 CZ eng C - Konferenční příspěvek (zahraniční konf.)
Kramosil, Ivan
Definition and Approximation of Probabilistic Measures by Boolean-Valued Possibilistic Measures.
Proceedings of the 4th Workshop on Uncertainty Processing. Prague: University of Economics, 1997, s. 91-102. ISBN 80-7779-008-3.
[WUPES '97 /4./. Prague (CZ), 22.01.1997-25.01.1997]
Grant CEP: GA AV ČR IAA1030504
Klíčová slova: probability measures * possibility measures * Boolean algebra * Boolean-valued models
Trvalý link: http://hdl.handle.net/11104/0123211 - 7.0394627 - NHU-C 2014 RIV US eng J - Článek v odborném periodiku
Bazhenov, N. A. - Tukhbatullina, Regina
Computable categoricity of the Boolean algebra B(omega) with a distinguished automorphism.
Algebra and Logic. Roč. 52, č. 2 (2013), s. 89-97. ISSN 0002-5232. E-ISSN 1573-8302
Institucionální podpora: PRVOUK-P23
Klíčová slova: Boolean algebra with distinguished automorphism * computable categoricity * categoricity spectrum
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.488, rok: 2013
Trvalý link: http://hdl.handle.net/11104/0222848 - 8.0385645 - NHU-C 2013 RU rus J - Článek v odborném periodiku
Bazhenov, N. A. - Tukhbatullina, Regina
Konstruktivizirujemost' Bulevoj algebry B(ω) s vydelennym avtomorfizmom.
[Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism.]
Algebra i Logika. Roč. 51, č. 5 (2012), s. 579-607. ISSN 0373-9252
Institucionální podpora: PRVOUK-P23
Klíčová slova: Boolean algebra * constructivizability * degree spectra of structures
Kód oboru RIV: AH - Ekonomie
Trvalý link: http://hdl.handle.net/11104/0007504 - 9.0385522 - NHU-C 2013 RIV US eng J - Článek v odborném periodiku
Bazhenov, N. A. - Tukhbatullina, Regina
Constructivizability of the Boolean algebra B(ω) with a distinguished automorphism.
Algebra and Logic. Roč. 51, č. 5 (2012), s. 384-403. ISSN 0002-5232. E-ISSN 1573-8302
Institucionální podpora: PRVOUK-P23
Klíčová slova: Boolean algebra * constructivizability * degree spectra of structures
Kód oboru RIV: AH - Ekonomie
Impakt faktor: 0.493, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0007508 - 10.0342828 - MÚ 2011 RIV DE eng J - Článek v odborném periodiku
Balcar, Bohuslav - Pazák, Tomáš
Quotients of Boolean algebras and regular subalgebras.
Archive for Mathematical Logic. Roč. 49, č. 3 (2010), s. 329-342. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA100190509; GA MŠMT MEB060909
Výzkumný záměr: CEZ:AV0Z10190503; CEZ:AV0Z10750506
Klíčová slova: Boolean algebra * sequential topology * ZFC extension * ideal
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.414, rok: 2010
http://link.springer.com/article/10.1007%2Fs00153-010-0174-y
Trvalý link: http://hdl.handle.net/11104/0185452Název souboru Staženo Velikost Komentář Verze Přístup Balcar.pdf 1 224.6 KB Vydavatelský postprint vyžádat