Search results
- 1.0478213 - ÚI 2018 FR eng C - Conference Paper (international conference)
Vidal, Amanda - Godo, L. - Esteva, F.
On strongly standard complete fuzzy logics: MTL*Q and its expansions.
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology. Paris: Atlantis Press, 2015 - (Alonso, J.; Bustince, H.; Reformat, M.), s. 828-835. Advances in Intelligent Systems Research, 89. ISBN 978-1-5108-0807-2.
[IFSA - EUSFLAT 2015. World Congress of the International Fuzzy Systems Association /16./, Conference of the European Society for Fuzzy Logic and Technology /9./. Gijón (ES), 30.06.2015-03.07.2015]
Keywords : Fuzzy logics * Strong standard completeness * MTL logic expansions * rational expansions * Pavelka-style completeness * Infinitary logics
Permanent Link: http://hdl.handle.net/11104/0274752File Download Size Commentary Version Access a0478213.pdf 0 1.4 MB Publisher’s postprint require - 2.0478211 - ÚI 2018 GB eng J - Journal Article
Vidal, Amanda - Esteva, F. - Godo, L.
On modal extensions of Product fuzzy logic.
Journal of Logic and Computation. Roč. 27, č. 1 (2017), s. 299-336. ISSN 0955-792X. E-ISSN 1465-363X
Keywords : involutive negation * possibilistic logic * truth * Product fuzzy logic * modal fuzzy logics * strong standard completeness * rational truth-constants * infinitary rule
Impact factor: 0.740, year: 2017
Permanent Link: http://hdl.handle.net/11104/0274747 - 3.0469148 - ÚTIA 2017 US eng J - Journal Article
Esteva, F. - Godo, L. - Noguera, Carles
A logical approach to fuzzy truth hedges.
Information Sciences. Roč. 232, č. 1 (2013), s. 366-385. ISSN 0020-0255. E-ISSN 1872-6291
Institutional support: RVO:67985556
Keywords : Mathematical fuzzy logic * Standard completeness * Truth hedges
Subject RIV: BA - General Mathematics
Impact factor: 3.893, year: 2013
http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469148.pdf
Permanent Link: http://hdl.handle.net/11104/0269419 - 4.0466763 - ÚI 2017 RIV DE eng J - Journal Article
Vidal, Amanda - Bou, F. - Esteva, F. - Godo, L.
On Strong Standard Completeness in Some MTL-Delta Expansions.
Soft Computing. Roč. 21, č. 1 (2017), s. 125-147. ISSN 1432-7643. E-ISSN 1433-7479
R&D Projects: GA ČR(CZ) GF15-34650L
Grant - others:Austrian Science Fund(AT) I1897-N25
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * left-continuous t-norms * monoidal t-norm logic * infinitary rules * standard completeness
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 2.367, year: 2017
Permanent Link: http://hdl.handle.net/11104/0264998 - 5.0460115 - ÚI 2017 RIV US eng C - Conference Paper (international conference)
Baldi, Paolo - Ciabattoni, A.
Standard Completeness for Uninorm-Based Logics.
ISMVL 2015. IEEE 45th International Symposium on Multiple-Valued Logic. Los Alamitos: IEEE Computer Society, 2015, s. 78-83. ISBN 978-147991777-8. ISSN 2378-2226.
[ISMVL 2015. IEEE International Symposium on Multiple-Valued Logic /45./. Waterloo (CA), 18.05.2015-20.05.2015]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : density elimination * standard completeness * uninorm logic * hypersequent
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0260250File Download Size Commentary Version Access a0460115.pdf 4 267.6 KB Publisher’s postprint require - 6.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 - 7.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 - 8.0422077 - ÚI 2014 ZA eng A - Abstract
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
The quest for the basic fuzzy logic.
Proceedings of the International Workshop on Algebraic Logic in Computer Science. Stellenbosch: University of Stellenbosch, 2013. s. 1-4.
[International Workshop on Algebraic Logic in Computer Science. 14.12.2013, Stellenbosch]
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * mathematical fuzzy logic * standard completeness * core semilinear logics
Subject RIV: BA - General Mathematics
http://www2.cs.cas.cz/~cintula/ALCS/abstracts/ALCS-Cintula-Horcik-Noguera.pdf
Permanent Link: http://hdl.handle.net/11104/0228293File Download Size Commentary Version Access 0422077.pdf 0 79 KB Other open-access - 9.0405568 - UIVT-O 330948 RIV CZ eng C - Conference Paper (international conference)
Horčík, Rostislav
On the Failure of Strong Standard Completness in PiMTL.
[O neplatnosti věty o silné standardní úplnosti logiky PiMTL.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.), s. 19-21
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. Ostrava (CZ), 05.10.2005-07.10.2005]
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : strong standard completeness * monoidal t-norm logic * MTL-algebra
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125722 - 10.0395361 - ÚI 2014 RIV GB eng J - Journal Article
Cintula, Petr - Horčík, Rostislav - Noguera, Carles
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties.
Review of Symbolic Logic. Roč. 6, č. 3 (2013), s. 394-423. ISSN 1755-0203. E-ISSN 1755-0211
R&D Projects: GA ČR GBP202/12/G061
Grant - others:ESF/Austrian Science Foundation project(AT) I143-G15
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : nonassociative full Lambek calculus * deduction theorem * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.525, year: 2013
Permanent Link: http://hdl.handle.net/11104/0223397File Download Size Commentary Version Access 0395361.pdf 18 819.2 KB Author´s preprint open-access