Search results
- 1.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 - 2.0368496 - ÚI 2012 RIV NL eng J - Journal Article
Horčík, Rostislav - Terui, K.
Disjunction Property and Complexity of Substructural Logics.
Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR GAP202/10/1826; GA MŠMT ME09110
Institutional research plan: CEZ:AV0Z10300504
Keywords : substructural logics * disjunction property * computational complexity
Subject RIV: BA - General Mathematics
Impact factor: 0.665, year: 2011
Permanent Link: http://hdl.handle.net/11104/0202825File Download Size Commentary Version Access 0368496.pdf 0 642.3 KB Author´s preprint open-access