Search results
- 1.0585222 - ÚI 2025 GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Keywords : First-Order Logic * One-Variable Fragment * Modal Logic * Substructural Logic * Superamalgamation * Sequent Calculus
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Open access
https://doi.org/10.1017/bsl.2024.22
Permanent Link: https://hdl.handle.net/11104/0352990 - 2.0574131 - ÚI 2025 GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA22-01137S; GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : relevant entailment * substructural logics * multiset consequence relations * multiple conclusions
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
Permanent Link: https://hdl.handle.net/11104/0344479File Download Size Commentary Version Access 0574131-pre.pdf 0 393.3 KB Author´s preprint open-access - 3.0563602 - ÚI 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA18-00113S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Vagueness * Fuzzy logic * Formal semantics * Gradable adjectives * Sorites paradox
OECD category: Philosophy, History and Philosophy of science and technology; Applied mathematics (UTIA-B)
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1007/s11229-022-03909-2
Permanent Link: https://hdl.handle.net/11104/0335529 - 4.0531341 - ÚI 2021 RIV FR eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Mathematical fuzzy logic * Logics of uncertainty * Łukasiewicz logic * Probability logics * Two-layered modal logics * Hypersequent calculi
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Applied mathematics (UTIA-B)
Impact factor: 1.736, year: 2020
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0310016File Download Size Commentary Version Access 0531341-aoa.pdf 10 2 MB CC BY-NC 4.0 Publisher’s postprint open-access - 5.0523434 - ÚI 2023 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : undecidability * substructural logic * Robinson arithmetic
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502032000012X
Permanent Link: http://hdl.handle.net/11104/0307787 - 6.0501907 - ÚI 2020 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : structural consequence relation * multisets * deductive relations * Hilbert systems * abstract algebraic logic * category theory * non-contraction
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502031900008X
Permanent Link: http://hdl.handle.net/11104/0293884File Download Size Commentary Version Access 0501907-a.pdf 15 415.5 KB Publisher’s postprint require 0501907-pre2.pdf 7 608.6 KB Author´s preprint open-access - 7.0501613 - ÚI 2020 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : Skolemization * Herbrand theorems * Non-classical logics * Lattices
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.747, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.tcs.2019.02.007
Permanent Link: http://hdl.handle.net/11104/0293600File Download Size Commentary Version Access a0501613.pdf 16 520.2 KB Publisher’s postprint require 0501613-prep.pdf 9 254.4 KB https://www.elsevier.com/journals/theoretical-computer-science/03043975/guide-for-authors Author´s preprint open-access - 8.0491823 - ÚI 2020 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * omitting types theorem * first-order fuzzy logics * left-continuous t-norms * uninorms * logic MTL * logic UL
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 9.518, year: 2019
Method of publishing: Open access
Permanent Link: http://hdl.handle.net/11104/0285439File Download Size Commentary Version Access 08410791-aoa.pdf 7 187.1 KB OpenAccess Publisher’s postprint open-access a0491823prep.pdf 3 265.7 KB Author´s preprint require - 9.0491819 - ÚI 2020 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Modal many-valued logics * Mathematical fuzzy logic * Neighborhood frames * Kripke semantics * General frames
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impact factor: 3.050, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00500-018-3369-5
Permanent Link: http://hdl.handle.net/11104/0285436File Download Size Commentary Version Access a0491819prep.pdf 5 379 KB Author´s preprint open-access - 10.0480886 - ÚI 2019 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GF15-34650L
EU Projects: European Commission(XE) 689176 - SYSMICS
Grant - others:AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Program: Bilaterální spolupráce
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impact factor: 2.907, year: 2018
Permanent Link: http://hdl.handle.net/11104/0276553File Download Size Commentary Version Access 0480886.pdf 10 678.4 KB GSp Author’s postprint open-access