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.0537049 - ÚI 2021 RIV GB eng C - Conference Paper (international conference)
Sedlár, Igor
Finitely-valued propositional dynamic logics.
Advances in Modal Logic. London: College Publications, 2020 - (Olivetti, N.; Verbrugge, R.; Negri, S.; Sandu, G.), s. 561-579. ISBN 978-1-84890-341-8.
[AiML 2020: Conference on Advances in Modal Logic /14./. Helsinki / Online (FI), 24.08.2020-28.08.2020]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : FL-algebras * Many-valued modal logic * Propositional Dynamic Logic * Residuated lattices * Substructural logics * Weighted structures
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0314800File Download Size Commentary Version Access 0537049-pre.pdf 0 262.3 KB z ArXiv.org Author´s preprint open-access - 3.0483648 - ÚI 2018 CN eng A - Abstract
Sedlár, Igor - Vidal, Amanda
Lattice-valued epistemic Logics.
NCMPL 2017 Abstracts. Sun Yat-sen University, 2017.
[NCMPL 2017. Non-Classical Modal and Predicate Logics /9./. 04.12.2017-07.12.2017, Guangzhou]
Institutional support: RVO:67985807
Keywords : epistemic logic * evidence * fuzzy logic * modal logic * residuated lattices
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0279744File Download Size Commentary Version Access a0483648.pdf 0 4.7 MB Publisher’s postprint open-access - 4.0478196 - ÚI 2018 NL eng J - Journal Article
Font, J.M. - Moraschini, Tommaso
M-Sets and the Representation Problem.
Studia Logica. Roč. 103, č. 1 (2015), s. 21-51. ISSN 0039-3215. E-ISSN 1572-8730
Keywords : Abstract algebraic logic * Algebraizable logic * Isomorphism problem * M-set * Structural closure operator * Structural transformer * Modules over complete residuated lattices * Onto-projective objects
Impact factor: 0.724, year: 2015
Permanent Link: http://hdl.handle.net/11104/0274486 - 5.0457881 - ÚI 2016 CZ eng A - Abstract
Cintula, Petr
Substructural Logics: A logical Glimpse at Residuated Lattices.
AAAA91. 91st Workshop on General Algebra. Brno: MU Brno, 2016. s. 2-2.
[Workshop on General Algebra /91./. 05.02.2016-07.02.2016, Brno]
Institutional support: RVO:67985807
Keywords : substuctural logics * residuated lattices * algebraizable logics * abstract algebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0258228File Download Size Commentary Version Access a0457881.pdf 1 1.5 MB Publisher’s postprint open-access a0457881 slides.pdf 1 4.3 MB Other open-access - 6.0442866 - ÚI 2016 RIV NL eng J - Journal Article
Víta, Martin
A Short Note on t-filters, I-filters and Extended Filters on Residuated Lattices.
Fuzzy Sets and Systems. Roč. 271, 15 July (2015), s. 168-171. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : t-filters * I-filters * extended filters * residuated lattices
Subject RIV: BA - General Mathematics
Impact factor: 2.098, year: 2015
Permanent Link: http://hdl.handle.net/11104/0245682 - 7.0438994 - ÚI 2017 RIV CH eng J - Journal Article
Baldi, Paolo - Terui, K.
Densification of FL Chains via Residuated Frames.
Algebra Universalis. Roč. 75, č. 2 (2016), s. 169-195. ISSN 0002-5240. E-ISSN 1420-8911
R&D Projects: GA ČR GAP202/10/1826
Keywords : densifiability * standard completeness * residuated lattices * residuated frames * fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 0.625, year: 2016
Permanent Link: http://hdl.handle.net/11104/0242323File Download Size Commentary Version Access 0438994.pdf 1 788.1 KB Author´s preprint require - 8.0430593 - ÚI 2015 GB eng A - Abstract
Horčík, Rostislav
Residuated Lattices, Regular Languages, and Burnside Problem.
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic. University of Manchester: EasyChair Conference System, 2014 - (Galatos, N.; Kurz, A.; Tsinakis, C.). s. 6-7. ISSN 2040-557X.
[TACL 2013. 28.07.2013-01.08.2013, Nashville]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Keywords : Burnside problem * regular languages * residuated lattices
Subject RIV: BA - General Mathematics
http://easychair.org/publications/?page=1179031665
Permanent Link: http://hdl.handle.net/11104/0235502File Download Size Commentary Version Access a0430593.pdf 0 187.6 KB Publisher’s postprint open-access - 9.0427493 - ÚI 2015 AT eng A - Abstract
Cintula, Petr - Metcalfe, G.
Skolem and Herbrand theorems for uninorm-based fuzzy logics.
Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014 - (Flaminio, T.; Godo, L.; Gottwald, S.; Klement, E.). s. 29-33
[Linz Seminar on Fuzzy Set Theory /35./. 18.02.2014-22.02.2014, Linz]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * residuated lattices * Herbrand theorem * Skolemization * predicate logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233023File Download Size Commentary Version Access a0427493.pdf 1 97 KB Publisher’s postprint open-access - 10.0425358 - ÚI 2015 RIV NL eng J - Journal Article
Víta, Martin
Fuzzy t-filters and their Properties.
Fuzzy Sets and Systems. Roč. 247, 16 July (2014), s. 127-134. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : non-classical logics * algebra * fuzzy t-filters * t-filters * fuzzy filters * residuated lattices
Subject RIV: BA - General Mathematics
Impact factor: 1.986, year: 2014
Permanent Link: http://hdl.handle.net/11104/0231252