Search results
- 1.0586115 - ÚI 2025 GB eng J - Journal Article
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Fuzzy bi-Godel modal logic and its paraconsistent relatives.
Journal of Logic and Computation. Online 31 March 2024 (2024), č. článku exae011. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1093/logcom/exae011
Permanent Link: https://hdl.handle.net/11104/0353684 - 2.0585531 - ÚI 2025 DE eng J - Journal Article
Ferenz, Nicholas
One Variable Relevant Logics are S5ish.
Journal of Philosophical Logic. Online 22 March 2024 (2024). ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : First-Order Relevant Logic * Modal Relevant Logic * One-Variable Fragment
Impact factor: 1.5, year: 2022
Method of publishing: Open access
https://doi.org/10.1007/s10992-024-09753-8
Permanent Link: https://hdl.handle.net/11104/0353225File Download Size Commentary Version Access 0585531-oae.pdf 0 404.1 KB OA CC BY 4.0 Publisher’s postprint open-access - 3.0585432 - ÚI 2025 RIV US eng J - Journal Article
Ferguson, Thomas Macaulay
Topic-Theoretic Extensions of Analytic Implication.
Notre Dame Journal of Formal Logic. Roč. 64, č. 4 (2023), s. 471-493. ISSN 0029-4527. E-ISSN 1939-0726
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : analytic implication * relevant logic * topic-sensitive logic
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://doi.org/10.1215/00294527-2023-0019
Permanent Link: https://hdl.handle.net/11104/0353142 - 4.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 - 5.0582922 - ÚI 2025 eng J - Journal Article
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej - Nazari, S.
Reasoning with belief functions over Belnap–Dunn logic.
Annals of Pure and Applied Logic. Online July 2023 (2024), č. článku 103338.
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Keywords : Belief functions * Belnap–Dunn logic * Two-layered modal logics * Paraconsistent logics * Łukasiewicz logic
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2023.103338
Permanent Link: https://hdl.handle.net/11104/0350964 - 6.0579758 - ÚI 2025 DE J - Journal Article
Ferguson, Thomas Macaulay - Logan, S. A.
Topic Transparency and Variable Sharing in Weak Relevant Logics.
Erkenntnis. Online November 2023 (2024). ISSN 0165-0106
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Relevant logic * Topic transparency * Variable sharing
Impact factor: 0.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1007/s10670-023-00748-6
Permanent Link: https://hdl.handle.net/11104/0348557 - 7.0577158 - ÚI 2025 US eng J - Journal Article
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp Bi-Gödel modal logic and its paraconsistent expansion.
Logic Journal of the IGPL. Online First 28 September 2023 (2024), č. článku jzad017. ISSN 1367-0751. E-ISSN 1368-9894
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Paraconsistent logics * Gödel modal logic * correspondence theory * axiomatic systems * complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 1, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1093/jigpal/jzad017
Permanent Link: https://hdl.handle.net/11104/0346391 - 8.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 - 9.0567202 - ÚI 2024 RIV US eng J - Journal Article
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Qualitative reasoning in a two-layered framework.
International Journal of Approximate Reasoning. Roč. 154, March 2023 (2023), s. 84-108. ISSN 0888-613X. E-ISSN 1873-4731
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Qualitative probabilities * Comparative belief * Two-layered modal logics * Gödel logic * Belnap–Dunn logic * Paraconsistent logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.9, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1016/j.ijar.2022.12.011
Permanent Link: https://hdl.handle.net/11104/0338479 - 10.0559074 - ÚI 2024 RIV NL eng J - Journal Article
Ferenz, Nicholas - Tedder, A.
Neighbourhood Semantics for Modal Relevant Logics.
Journal of Philosophical Logic. Roč. 52, č. 1 (2023), s. 145-181. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Relevant modal logic * Relevant logic * Nonclassical modal logic * Neighbourhood semantics
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1007/s10992-022-09668-2
Permanent Link: https://hdl.handle.net/11104/0332494