Výsledky vyhledávání
- 1.0431690 - ÚI 2015 AT eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
On satisfiability of terms in FLew-algebras.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 191-193
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * Full Lambek calculus with exchange and weakening * satisfiability of terms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236274Název souboru Staženo Velikost Komentář Verze Přístup a0431690.pdf 0 431.1 KB Vydavatelský postprint povolen - 2.0404262 - UIVT-O 220095 SK eng A - Abstrakt
Savický, Petr - Žák, Stanislav
Some Lower Bounds for Restricted Branching Programs.
Algorithms for Future technologies'96. Book of Abstracts. Bratislava: Institute for Informatics SAS, 1996. s. 21-22.
[Workshop ALTEC VI. 29.05.1996-01.06.1996, Bratislava]
Grant CEP: GA ČR GA201/95/0976
Výzkumný záměr: AV0Z1030915
Trvalý link: http://hdl.handle.net/11104/0124525 - 3.0310823 - ÚI 2009 CH eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
On Standard SBL-Algebras with Aadded Involutive Negations.
Logic Colloquium 2008. Bern: University of Bern, 2008. s. 31-32.
[Logic Colloquium 2008. 03.07.2008-08.07.2008, Bern]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: propositional logic * involutive negation * standard BL-algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0162582 - 4.0040898 - ÚI 2007 IT eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
Standard Product Algebra with Involutive Negation.
Ordered Structures in Many Valued Logics. Salerno: Universita di Salerno, 2006. s. 12-12.
[Ordered Structures in Many Valued Logics. International Symposium. 28.05.2006-01.06.2006, Massa Lubrense]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: product t-norm * involutive negation * propositional logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0134520