Výsledky vyhledávání
- 1.0585531 - ÚI 2025 DE eng J - Článek v odborném periodiku
Ferenz, Nicholas
One Variable Relevant Logics are S5ish.
Journal of Philosophical Logic. Online 22 March 2024 (2024). ISSN 0022-3611
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: First-Order Relevant Logic * Modal Relevant Logic * One-Variable Fragment
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1007/s10992-024-09753-8
Trvalý link: https://hdl.handle.net/11104/0353225Název souboru Staženo Velikost Komentář Verze Přístup 0585531-oae.pdf 0 404.1 KB OA CC BY 4.0 Vydavatelský postprint povolen - 2.0585432 - ÚI 2025 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: analytic implication * relevant logic * topic-sensitive logic
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1215/00294527-2023-0019
Trvalý link: https://hdl.handle.net/11104/0353142 - 3.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 - 4.0585016 - FLÚ 2025 RIV CZ cze J - Článek v odborném periodiku
Kvasz, Ladislav
Aristotelova sylogistická logika jako teorie aritmetického typu.
[Aristotle’s Syllogistic Logic as a Theory of an Arithmetic Kind.]
Filosofický časopis. Roč. 72, č. 1 (2024), s. 3-22. ISSN 0015-1831
Institucionální podpora: RVO:67985955
Klíčová slova: Aristotelian logic * relational synthesis * compositional synthesis * deductive synthesis
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: <0.1, rok: 2022
Způsob publikování: Open access
https://doi.org/10.46854/fc.2024.1r.3
Trvalý link: https://hdl.handle.net/11104/0352969 - 5.0584949 - ÚOCHB 2025 RIV NL eng J - Článek v odborném periodiku
Ramlal, V. R. - Singh, A. - Das, A. - Lo, Rabindranath - Mandal, A. K.
Coordination nanosheets based molecular computing for detection and differentiation of high-energy explosives TATB and FOX-7.
Sensors and Actuators B - Chemical. Roč. 409, June (2024), č. článku 135551. E-ISSN 0925-4005
Institucionální podpora: RVO:61388963
Klíčová slova: coordination nanosheets * logic gate * IMP * explosive * TATB * FOX-7
Impakt faktor: 8.4, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.snb.2024.135551
Trvalý link: https://hdl.handle.net/11104/0352736 - 6.0583783 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana - Manya, F. - Vidal, A.
The MaxSAT Problem in the Real-Valued MV-Algebra.
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings. Cham: Springer, 2023 - (Ramanayake, R.; Urban, J.), s. 386-404. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague (CZ), 18.09.2024-21.09.2024]
Grant ostatní: AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-031-43513-3_21
Trvalý link: https://hdl.handle.net/11104/0351788Název souboru Staženo Velikost Komentář Verze Přístup 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Vydavatelský postprint povolen - 7.0582962 - FLÚ 2024 RIV CZ eng J - Článek v odborném periodiku
Hanke, Miroslav
Epistemological Issues in Pedro Hurtado de Mendoza’s Early De fide.
Aithér. Roč. 15, č. 30 (2023), s. 26-61. ISSN 1803-7860
Grant CEP: GA ČR(CZ) GA20-05855S
Institucionální podpora: RVO:67985955
Klíčová slova: Pedro Hurtado de Mendoza * second scholasticism * scholastic logic * scholastic epistemology
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.5507/aither.2023.007
Trvalý link: https://hdl.handle.net/11104/0351309 - 8.0582922 - ÚI 2025 eng J - Článek v odborném periodiku
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.
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: Belief functions * Belnap–Dunn logic * Two-layered modal logics * Paraconsistent logics * Łukasiewicz logic
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103338
Trvalý link: https://hdl.handle.net/11104/0350964 - 9.0582627 - FLÚ 2024 eng A3 - Přednáška/prezentace nepublikovaná
Landa, Ivan
Thought and Action. Praxis in Czech Marxism.
[Praxis in Marx and Marxism. Prague, 14.12.2022-15.12.2022]
Způsob prezentace: Přednáška
Pořadatel akce: Princeton University, Texas A & M University, Institute of Philosophy (Czech Academy of Sciences)
URL akce: https://www.flu.cas.cz/en/events-of-institute-of-philosophy-as-cr/21-konference-a-workshopy/4013-praxis-in-marx-and-marxism#further-information
Institucionální podpora: RVO:67985955
Klíčová slova: Central East European Marxism * metamarxism * concrete Marxism * logic * philosophy of praxis
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: https://hdl.handle.net/11104/0350804 - 10.0581803 - ÚI 2025 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Cerna, David M. - Cropper, A.
Generalisation through Negation and Predicate Invention.
Proceedings of the 38th AAAI Conference on Artificial Intelligence. Washington, DC: AAAI Press, 2024, s. 10467-10475. ISBN 978-1-57735-887-9. ISSN 2159-5399.
[AAAI 2024: The Annual Conference on Artificial Intelligence /38./. Vancouver (CA), 20.02.2024-27.02.2024]
Institucionální podpora: RVO:67985807
Klíčová slova: KRR * Logic Programming * ML: Statistical Relational/Logic Learning
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1609/aaai.v38i9.28915
Trvalý link: https://hdl.handle.net/11104/0349954
Vědecká data: Preprint - ArXiv.org