Search results
- 1.0508276 - ÚI 2020 CH eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Permanent Link: http://hdl.handle.net/11104/0299232File Download Size Commentary Version Access LATD2018.pdf 0 2.9 MB Publisher’s postprint require - 2.0481958 - ÚI 2018 FR eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0278678File Download Size Commentary Version Access a0481958.pdf 0 5 MB Publisher’s postprint require - 3.0461997 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261524File Download Size Commentary Version Access a0461997.pdf 2 158.7 KB Publisher’s postprint open-access - 4.0461993 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Pavelka style completeness * truth constants * mathematical fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261521File Download Size Commentary Version Access a0461993.pdf 1 163.6 KB Publisher’s postprint open-access - 5.0453150 - ÚI 2016 CH eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0254025File Download Size Commentary Version Access 0453150.pdf 1 1.9 MB Author´s preprint open-access - 6.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 - 7.0381414 - ÚI 2013 JP eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Mathematical Fuzzy Logic * standard completeness * Substructural logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0211890File Download Size Commentary Version Access 0381414.pdf 0 240.8 KB Author´s preprint open-access