Výsledky vyhledávání
- 1.0585769 - ÚI 2025 GB eng J - Článek v odborném periodiku
Sedlár, Igor
Implicational Kleene Algebra With Domain and the Substructural Logic of Partial Correctness.
Mathematical Structures in Computer Science. Online 04 March 2024, Special Issue WoLLIC 2022 (2024). ISSN 0960-1295. E-ISSN 1469-8072.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași, 20.09.2022-23.09.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Implication * Kleene algebra * partial correctness * substructural logic
Impakt faktor: 0.5, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S0960129524000045
Trvalý link: https://hdl.handle.net/11104/0353448 - 2.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 - 3.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 - 4.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 - 5.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 - 6.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 - 7.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 - 8.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 - 9.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 - 10.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