Výsledky vyhledávání
- 1.0508276 - ÚI 2020 CH eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand Theorems for Lattice-Valued Logics.
LATD 2018. Proceedings. Bern: University of Bern, 2018. s. 58-59.
[LATD 2018: Logic, Algebra and Truth Degrees /6./. 28.08.2019-31.08.2019, Bern]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0299232Název souboru Staženo Velikost Komentář Verze Přístup LATD2018.pdf 0 2.9 MB Vydavatelský postprint vyžádat - 2.0481958 - ÚI 2018 FR eng A - Abstrakt
Haniková, Zuzana
Remarks on Lukasiewicz logic with truth constants.
ManyVal 2017. Booklet of Abstracts. Toulouse: Institut de Mathematiques, 2017. s. 70-73.
[ManyVal 2017. 15.11.2017-17.11.2017, Toulouse]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0278678Název souboru Staženo Velikost Komentář Verze Přístup a0481958.pdf 0 5 MB Vydavatelský postprint vyžádat - 3.0461997 - ÚI 2017 ZA eng A - Abstrakt
Přenosil, Adam
Embedding l-bimonoids into Involutive Residuated Lattices.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 97-99.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261524Název souboru Staženo Velikost Komentář Verze Přístup a0461997.pdf 2 158.7 KB Vydavatelský postprint povolen - 4.0461993 - ÚI 2017 ZA eng A - Abstrakt
Cintula, Petr
Pavelka-tyle Complete Fuzzy Logics.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 53-55.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Pavelka style completeness * truth constants * mathematical fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261521Název souboru Staženo Velikost Komentář Verze Přístup a0461993.pdf 1 163.6 KB Vydavatelský postprint povolen - 5.0453150 - ÚI 2016 CH eng A - Abstrakt
Přenosil, Adam
The lattice of super-Belnap logics.
ManyVal 2015. University of Bern, 2015. s. 30-31.
[ManyVal 2015. 11.12.2015-13.12.2015, Les Diablerets]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0254025Název souboru Staženo Velikost Komentář Verze Přístup 0453150.pdf 1 1.9 MB Autorský preprint povolen - 6.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 - 7.0381414 - ÚI 2013 JP eng A - Abstrakt
Cintula, Petr - Horčík, Rostislav - Noguera, C.
A basic fuzzy logic which is really basic and fuzzy.
Logic, Algebra and Truth Degrees 2012. Book of Abstracts. JAIST, 2012 - (Terui, K.; Preining, N.). s. 67-70
[Logic, Algebra and Truth Degrees 2012. 10.09.2012-14.09.2012, Kanazawa]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Mathematical Fuzzy Logic * standard completeness * Substructural logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211890Název souboru Staženo Velikost Komentář Verze Přístup 0381414.pdf 0 240.8 KB Autorský preprint povolen