Výsledky vyhledávání
- 1.0583783 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana - Manya, F. - Vidal, A.
The MaxSAT Problem in the Real-Valued MV-Algebra.
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings. Cham: Springer, 2023 - (Ramanayake, R.; Urban, J.), s. 386-404. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague (CZ), 18.09.2024-21.09.2024]
Grant ostatní: AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-031-43513-3_21
Trvalý link: https://hdl.handle.net/11104/0351788Název souboru Staženo Velikost Komentář Verze Přístup 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Vydavatelský postprint povolen - 2.0497410 - ÚTIA 2019 RIV CH eng J - Článek v odborném periodiku
Kroupa, Tomáš
Ordered group-valued probability, positive operators, and integral representations.
Algebra Universalis. Roč. 79, č. 4 (2018), č. článku 86. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: MV-algebra * Riesz space * positive operator
Obor OECD: Pure mathematics
Impakt faktor: 0.667, rok: 2018
http://library.utia.cas.cz/separaty/2018/MTR/kroupa-0497410.pdf
Trvalý link: http://hdl.handle.net/11104/0290640 - 3.0478210 - ÚI 2018 GB eng J - Článek v odborném periodiku
Bonzio, Stefano - Chajda, I. - Ledda, A.
Representing Quantum Structures as Near Semirings.
Logic Journal of the IGPL. Roč. 24, č. 5 (2016), s. 719-742. ISSN 1367-0751. E-ISSN 1368-9894
Klíčová slova: algebras * Near semiring * involution * Lukasiewicz near semiring * semiring * basic algebra * orthomodular lattice * MV-algebra * Church variety * central element
Impakt faktor: 0.575, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0274429 - 4.0476001 - MÚ 2018 RIV NL eng J - Článek v odborném periodiku
Markl, Martin - Voronov, A.A.
The MV formalism for IBL$_infty$- and BV$_infty$-algebras.
Letters in Mathematical Physics. Roč. 107, č. 8 (2017), s. 1515-1543. ISSN 0377-9017. E-ISSN 1573-0530
Institucionální podpora: RVO:67985840
Klíčová slova: MV-algebra * IBL$_infty$-algebra * master equation
Obor OECD: Applied mathematics
Impakt faktor: 1.306, rok: 2017
https://link.springer.com/article/10.1007/s11005-017-0954-y
Trvalý link: http://hdl.handle.net/11104/0272569Název souboru Staženo Velikost Komentář Verze Přístup Markl1.pdf 1 629.2 KB Vydavatelský postprint vyžádat - 5.0456237 - ÚTIA 2016 RIV GB eng M - Část monografie knihy
Flaminio, T. - Kroupa, Tomáš
States of MV-algebras.
Handbook of Mathematical Fuzzy Logic. Vol.3. London: College Publications, 2015 - (Cintula, P.; Fermüller, C.; Noguera, C.), s. 1183-1236. Studies in Logic - Mathematical Logic and Foundations, 58. ISBN 978-1-84890-193-3
Grant CEP: GA ČR GAP402/12/1309
Institucionální podpora: RVO:67985556
Klíčová slova: state * MV-algebra * Lukasiewicz logic
Kód oboru RIV: BA - Obecná matematika
http://library.utia.cas.cz/separaty/2015/MTR/kroupa-0456237.pdf
Trvalý link: http://hdl.handle.net/11104/0257709 - 6.0439177 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana - Savický, Petr
Term Satisfiability in FLew-Algebras.
Theoretical Computer Science. Roč. 631, 6 June (2016), s. 1-15. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Obor OECD: Pure mathematics
Impakt faktor: 0.698, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0242470Název souboru Staženo Velikost Komentář Verze Přístup a0439177.pdf 8 496.2 KB Vydavatelský postprint vyžádat - 7.0439176 - ÚI 2015 US eng V - Výzkumná zpráva
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Kód oboru RIV: BA - Obecná matematika
http://arxiv.org/abs/1501.02250
Trvalý link: http://hdl.handle.net/11104/0242467 - 8.0411497 - UTIA-B 20050227 CZ eng D - Dizertace
Kroupa, Tomáš
States and Conditional Probability on MV-algebras. Ph.D. Thesis.
ČVUT FEL. Obhájeno: ČVUT FEL. 20051011. 74 s.
Grant CEP: GA MŠMT 1M0572
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: state * MV-algebra * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0131577 - 9.0411274 - UTIA-B 20050001 RIV NL eng J - Článek v odborném periodiku
Kroupa, Tomáš
Conditional probability on MV-algebras.
[Podminena pravdepodobnost na MV-algebrach.]
Fuzzy Sets and Systems. Roč. 149, č. 2 (2005), s. 369-381. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA2075302
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: conditional probability * tribe * MV-algebra
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0131357 - 10.0399109 - ÚTIA 2014 RIV DE eng M - Část monografie knihy
Flaminio, T. - Godo, L. - Kroupa, Tomáš
Belief functions on MV-algebras of fuzzy sets: an overview.
Non-Additive Measures: Theory and Applications. Cham: Springer, 2013 - (Torra, V.; Narukawa, Y.; Sugeno, M.), s. 173-200. Studies in Fuzziness and Soft Computing. ISBN 978-3-319-03154-5
Grant CEP: GA ČR GA13-20012S
Institucionální podpora: RVO:67985556
Klíčová slova: belief function * MV-algebra * fuzzy logic
Obor OECD: Pure mathematics
http://library.utia.cas.cz/separaty/2013/MTR/kroupa-0399109.pdf
Trvalý link: http://hdl.handle.net/11104/0226809