Výsledky vyhledávání
- 1.0537591 - ÚI 2022 NL eng J - Článek v odborném periodiku
Reggio, Luca
Beth definability and the Stone-Weierstrass theorem.
Annals of Pure and Applied Logic. Roč. 172, č. 8 (2021), č. článku 102990. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GA17-04630S
Klíčová slova: Stone-Weierstrass Theorem * Compact Hausdorff spaces * Infinitary varieties * Equational logic * Beth definability * Strong completeness
Impakt faktor: 0.776, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0323004 - 2.0537232 - ÚTIA 2022 RIV US eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
A general omitting types theorem in mathematical fuzzy logic.
IEEE Transactions on Fuzzy Systems. Roč. 29, č. 6 (2021), s. 1386-1394. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * uninorms * weighted structures
Obor OECD: Applied mathematics
Impakt faktor: 12.253, rok: 2021
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537232.pdf https://ieeexplore.ieee.org/document/9003263
Trvalý link: http://hdl.handle.net/11104/0315002 - 3.0537231 - ÚTIA 2022 RIV GB eng J - Článek v odborném periodiku
Badia, G. - Noguera, Carles
Saturated models of first-order many-valued logics.
Logic Journal of the IGPL. Roč. 30, č. 1 (2022), s. 1-20. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical fuzzy logic * first-order graded logics * uninorms
Obor OECD: Applied mathematics
Impakt faktor: 1, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2021/MTR/noguera-0537231.pdf https://academic.oup.com/jigpal/article-abstract/30/1/1/5879257?redirectedFrom=fulltext
Trvalý link: http://hdl.handle.net/11104/0315000 - 4.0531341 - ÚI 2021 RIV FR eng J - Článek v odborném periodiku
Baldi, P. - Cintula, Petr - Noguera, Carles
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory.
International Journal of Computational Intelligence Systems. Roč. 13, č. 1 (2020), s. 988-1001. ISSN 1875-6891. E-ISSN 1875-6883
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Mathematical fuzzy logic * Logics of uncertainty * Łukasiewicz logic * Probability logics * Two-layered modal logics * Hypersequent calculi
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Applied mathematics (UTIA-B)
Impakt faktor: 1.736, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0310016Název souboru Staženo Velikost Komentář Verze Přístup 0531341-aoa.pdf 10 2 MB CC BY-NC 4.0 Vydavatelský postprint povolen - 5.0523434 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
Badia, G. - Cintula, Petr - Hájek, Petr - Tedder, Andrew
How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
Review of Symbolic Logic. Roč. 15, č. 2 (2022), s. 487-504. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: undecidability * substructural logic * Robinson arithmetic
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502032000012X
Trvalý link: http://hdl.handle.net/11104/0307787 - 6.0522276 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Vidal, Amanda
On transitive modal many-valued logics.
Fuzzy Sets and Systems. Roč. 407, 1 March (2021), s. 97-114. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical logics * computability * modal logics
Obor OECD: Pure mathematics
Impakt faktor: 4.462, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.fss.2020.01.011
Trvalý link: http://hdl.handle.net/11104/0306795 - 7.0511512 - ÚI 2020 RIV SG eng J - Článek v odborném periodiku
Dellunde, P. - Vidal, Amanda
Truth-Preservation under Fuzzy pp-Formulas.
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 27, Suppl. 1 (2019), s. 89-105. ISSN 0218-4885. E-ISSN 1793-6411
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: First order many-valued logics * fuzzy model theory * preservation theorems in first order many-valued logic * fuzzy logics
Obor OECD: Pure mathematics
Impakt faktor: 1.375, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1142/S0218488519400051
Trvalý link: http://hdl.handle.net/11104/0301759 - 8.0505107 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.585, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-019-09869-y
Trvalý link: http://hdl.handle.net/11104/0296624 - 9.0504854 - ÚTIA 2020 RIV DE eng J - Článek v odborném periodiku
Badia, G. - Costa, V. - Dellunde, P. - Noguera, Carles
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2177-2186. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR(CZ) GA17-04630S
Institucionální podpora: RVO:67985556
Klíčová slova: Graded model theory * Mathematical fuzzy logic * Amalgamation theorems
Obor OECD: Pure mathematics
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Open access
http://library.utia.cas.cz/separaty/2019/MTR/noguera-0504854.pdf https://link.springer.com/article/10.1007/s00500-019-03850-6
Trvalý link: http://hdl.handle.net/11104/0297072 - 10.0503853 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms, Definability and Cardinalities.
Studia Logica. Roč. 108, č. 2 (2020), s. 255-275. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GA17-04630S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Prevariety * Quasivariety * Beth definability * Algebraizable logic * Equivalential logic
Obor OECD: Pure mathematics
Impakt faktor: 0.585, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-019-09846-5
Trvalý link: http://hdl.handle.net/11104/0295628