Search results
- 1.0550967 - ÚI 2023 RIV CH eng M - Monography Chapter
Horčík, Rostislav
Finite Embeddability Property for Residuated Lattices via Regular Languages.
Hiroakira Ono on Substructural Logics. Cham: Springer, 2022 - (Galatos, N.; Terui, K.), s. 273-298. Outstanding Contributions to Logic, 23. ISBN 978-3-030-76919-2
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Finite Embeddability Property * Residuated Lattices * Regular Languages
OECD category: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-76920-8_7
Permanent Link: http://hdl.handle.net/11104/0326248 - 2.0432930 - ÚI 2015 RIV CH eng M - Monography Chapter
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The Quest for the Basic Fuzzy Logic.
Petr Hájek on Mathematical Fuzzy Logic. Cham: Springer, 2015 - (Montagna, F.), s. 245-290. Outstanding Contributions to Logic, 6. ISBN 978-3-319-06232-7
R&D Projects: GA ČR GAP202/10/1826; GA ČR GA13-14654S
EU Projects: European Commission(XE) 247584 - MATOMUVI
Grant - others:MICINN project TASSAT(XE) TIN2010-20967-C04-01
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * basic fuzzy logic * T-norm * core fuzzy logics * core semilinear logics * non-associative substructural logics * standard completeness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0237239File Download Size Commentary Version Access 0432930.pdf 3 567.9 KB Author´s preprint require - 3.0372983 - ÚI 2012 RIV GB eng M - Monography Chapter
Horčík, Rostislav
Algebraic Semantics: Semilinear FL-Algebras. Chapter 4.
Handbook of Mathematical Fuzzy Logic. Vol. 1. London: College Publications, 2011 - (Cintula, P.; Hájek, P.; Noguera, C.), s. 283-353. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
R&D Projects: GA ČR GEICC/08/E018; GA ČR GAP202/10/1826
Institutional research plan: CEZ:AV0Z10300504
Keywords : FL-algebra * semilinear FL-algebra * representable FL-algebra * residuated lattice * fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0206166File Download Size Commentary Version Access 0372983.pdf 0 1.3 MB Author´s preprint require