Search results
- 1.0431690 - ÚI 2015 AT eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : substructural logic * Full Lambek calculus with exchange and weakening * satisfiability of terms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0236274File Download Size Commentary Version Access a0431690.pdf 0 431.1 KB Publisher’s postprint open-access - 2.0404262 - UIVT-O 220095 SK eng A - Abstract
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]
R&D Projects: GA ČR GA201/95/0976
Institutional research plan: AV0Z1030915
Permanent Link: http://hdl.handle.net/11104/0124525 - 3.0310823 - ÚI 2009 CH eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : propositional logic * involutive negation * standard BL-algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0162582 - 4.0040898 - ÚI 2007 IT eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : product t-norm * involutive negation * propositional logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0134520