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.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 - 3.0565990 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Wannenburg, Johann Joubert
Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Test.
Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), s. 221-236. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
Grant CEP: GA MŠMT(CZ) EF18_053/0017594
Institucionální podpora: RVO:67985807
Klíčová slova: Hoare logic * Kleene algebra with codomain * Kleene algebra with tests * Partial correctness * Substructural logic
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-15298-6_14
Trvalý link: https://hdl.handle.net/11104/0337430 - 4.0557952 - ÚI 2024 RIV GB eng J - Článek v odborném periodiku
van Ditmarsch, H. - Liu, M. - Kuijer, L. B. - Sedlár, Igor
Almost APAL.
Journal of Logic and Computation. Roč. 33, č. 6 (2023), s. 1350-1378. ISSN 0955-792X. E-ISSN 1465-363X
Institucionální podpora: RVO:67985807
Klíčová slova: APAL * quantification over announcements * substructural logic * expressivity
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Open access
http://dx.doi.org/10.1093/logcom/exac012
Trvalý link: http://hdl.handle.net/11104/0331834Název souboru Staženo Velikost Komentář Verze Přístup 0557952-aoafin.pdf 1 1.6 MB OA CC BY 4.0 Vydavatelský postprint povolen - 5.0547631 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Tedder, Andrew - Ferenz, N.
Neighbourhood Semantics for Quantified Relevant Logics.
Journal of Philosophical Logic. Roč. 51, č. 3 (2022), s. 457-484. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Relevant logic * Quantified nonclassical logic * Neighbourhood semantics * Substructural logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.5, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10992-021-09637-1
Trvalý link: http://hdl.handle.net/11104/0323828 - 6.0542814 - ÚI 2022 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít - Sedlár, Igor
Epistemic Extensions of Substructural Inquisitive Logics.
Journal of Logic and Computation. Roč. 31, č. 7 (2021), s. 1820-1844. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: epistemic logic * modal logic * substructural logic * inquisitive logic * logic of questions
Obor OECD: Pure mathematics
Impakt faktor: 0.509, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1093/logcom/exab008
Trvalý link: http://hdl.handle.net/11104/0320152 - 7.0538234 - ÚI 2022 RIV CH eng J - Článek v odborném periodiku
Moraschini, Tommaso - Raftery, J.G. - Wannenburg, J. J.
Epimorphisms in Varieties of Subidempotent Rresiduated Structures.
Algebra Universalis. Roč. 82, č. 1 (2021), č. článku 6. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Residuated lattice * Brouwerian algebra * Heyting algebra * De Morgan monoid * Esakia space * Substructural logic * Relevance logic * Beth definability
Obor OECD: Pure mathematics
Impakt faktor: 0.526, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00012-020-00694-2
Trvalý link: http://hdl.handle.net/11104/0316060 - 8.0538225 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 205-221. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Dynamic logic * Epistemic logic * Inquisitive logic * Substructural logic * Public announcement * Reduction axioms
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0316050 - 9.0524384 - FLÚ 2021 RIV GB eng J - Článek v odborném periodiku
Hanke, Miroslav
Seventeenth-Century Scholastic Syllogistics: Between Logic and Mathematics?
Review of Symbolic Logic. Roč. 13, č. 2 (2020), s. 219-248. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GB14-37038G
Institucionální podpora: RVO:67985955
Klíčová slova: scholastic logic * mathematisation * second scholasticism * syllogistic reasoning * substructural logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.000, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S1755020318000357
Trvalý link: http://hdl.handle.net/11104/0308737 - 10.0523434 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: undecidability * substructural logic * Robinson arithmetic
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502032000012X
Trvalý link: http://hdl.handle.net/11104/0307787