Výsledky vyhledávání
- 1.0585222 - ÚI 2025 GB eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G. - Tokuda, N.
One-variable fragments of first-order logics.
Bulletin of Symbolic Logic. Online 01 April 2024 (2024). ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: First-Order Logic * One-Variable Fragment * Modal Logic * Substructural Logic * Superamalgamation * Sequent Calculus
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2024.22
Trvalý link: https://hdl.handle.net/11104/0352990 - 2.0574131 - ÚI 2025 GB eng J - Článek v odborném periodiku
Badia, G. - Běhounek, L. - Cintula, Petr - Tedder, A.
Relevant Consequence Relations: An Invitation.
Review of Symbolic Logic. Online 30 June 2023 (2024). ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807
Klíčová slova: relevant entailment * substructural logics * multiset consequence relations * multiple conclusions
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
Trvalý link: https://hdl.handle.net/11104/0344479Název souboru Staženo Velikost Komentář Verze Přístup 0574131-pre.pdf 0 393.3 KB Autorský preprint povolen - 3.0563602 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Grimau, Berta - Noguera, C. - Smith, N.J.J.
These degrees go to eleven: fuzzy logics and gradable predicates.
Synthese. Roč. 200, č. 6 (2022), č. článku 445. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA18-00113S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Vagueness * Fuzzy logic * Formal semantics * Gradable adjectives * Sorites paradox
Obor OECD: Philosophy, History and Philosophy of science and technology; Applied mathematics (UTIA-B)
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s11229-022-03909-2
Trvalý link: https://hdl.handle.net/11104/0335529 - 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.0501907 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
Cintula, Petr - Gil-Férez, J. - Moraschini, Tommaso - Paoli, F.
An Abstract Approach to Consequence Relations.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 331-371. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502031900008X
Trvalý link: http://hdl.handle.net/11104/0293884Název souboru Staženo Velikost Komentář Verze Přístup 0501907-a.pdf 15 415.5 KB Vydavatelský postprint vyžádat 0501907-pre2.pdf 7 608.6 KB Autorský preprint povolen - 7.0501613 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand theorems for lattice-valued logics.
Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Skolemization * Herbrand theorems * Non-classical logics * Lattices
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2019.02.007
Trvalý link: http://hdl.handle.net/11104/0293600Název souboru Staženo Velikost Komentář Verze Přístup a0501613.pdf 16 520.2 KB Vydavatelský postprint vyžádat 0501613-prep.pdf 9 254.4 KB https://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authors Autorský preprint povolen - 8.0491823 - ÚI 2020 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Diaconescu, D.
Omitting Types Theorem for Fuzzy Logics.
IEEE Transactions on Fuzzy Systems. Roč. 27, č. 2 (2019), s. 273-277. ISSN 1063-6706. E-ISSN 1941-0034
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 9.518, rok: 2019
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0285439Název souboru Staženo Velikost Komentář Verze Přístup 08410791-aoa.pdf 7 187.1 KB OpenAccess Vydavatelský postprint povolen a0491823prep.pdf 3 265.7 KB Autorský preprint vyžádat - 9.0491819 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Menchón, P. - Noguera, Carles
Toward a general frame semantics for modal many-valued logics.
Soft Computing. Roč. 23, č. 7 (2019), s. 2233-2241. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Modal many-valued logics * Mathematical fuzzy logic * Neighborhood frames * Kripke semantics * General frames
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00500-018-3369-5
Trvalý link: http://hdl.handle.net/11104/0285436Název souboru Staženo Velikost Komentář Verze Přístup a0491819prep.pdf 5 379 KB Autorský preprint povolen - 10.0480886 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets and Systems. Roč. 345, 15 August (2018), s. 99-112. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GF15-34650L
GRANT EU: European Commission(XE) 689176 - SYSMICS
Grant ostatní: AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 2.907, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0276553Název souboru Staženo Velikost Komentář Verze Přístup 0480886.pdf 10 678.4 KB GSp Autorský postprint povolen