Search results
- 1.0586504 - ÚI 2025 NL eng J - Journal Article
Fussner, Daniel Wesley - Galatos, N.
Semiconic idempotent logic I: Structure and local deduction theorems.
Annals of Pure and Applied Logic. Roč. 175, č. 7 (2024), č. článku 103443. ISSN 0168-0072. E-ISSN 1873-2461
Institutional support: RVO:67985807
Keywords : Substructural logics * Semiconic idempotent logic * Semilinear residuated lattices * Congruence extension property * Deduction theorems
OECD category: Applied mathematics
Impact factor: 0.8, year: 2022
Method of publishing: Limited access
Permanent Link: https://hdl.handle.net/11104/0353977 - 2.0585769 - ÚI 2025 GB eng J - Journal Article
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]
Institutional support: RVO:67985807
Keywords : Implication * Kleene algebra * partial correctness * substructural logic
Impact factor: 0.5, year: 2022
Method of publishing: Limited access
https://doi.org/10.1017/S0960129524000045
Permanent Link: https://hdl.handle.net/11104/0353448 - 3.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 - 4.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 - 5.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 - 6.0585016 - FLÚ 2025 RIV CZ cze J - Journal Article
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
Institutional support: RVO:67985955
Keywords : Aristotelian logic * relational synthesis * compositional synthesis * deductive synthesis
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: <0.1, year: 2022
Method of publishing: Open access
https://doi.org/10.46854/fc.2024.1r.3
Permanent Link: https://hdl.handle.net/11104/0352969 - 7.0584949 - ÚOCHB 2025 RIV NL eng J - Journal Article
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
Institutional support: RVO:61388963
Keywords : coordination nanosheets * logic gate * IMP * explosive * TATB * FOX-7
Impact factor: 8.4, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.snb.2024.135551
Permanent Link: https://hdl.handle.net/11104/0352736 - 8.0583783 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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 - others:AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institutional support: RVO:67985807
Keywords : Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0351788File Download Size Commentary Version Access 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Publisher’s postprint open-access - 9.0582962 - FLÚ 2024 RIV CZ eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA20-05855S
Institutional support: RVO:67985955
Keywords : Pedro Hurtado de Mendoza * second scholasticism * scholastic logic * scholastic epistemology
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
https://doi.org/10.5507/aither.2023.007
Permanent Link: https://hdl.handle.net/11104/0351309 - 10.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