Search results
- 1.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 - 2.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 - 3.0565990 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA MŠMT(CZ) EF18_053/0017594
Institutional support: RVO:67985807
Keywords : Hoare logic * Kleene algebra with codomain * Kleene algebra with tests * Partial correctness * Substructural logic
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0337430 - 4.0557952 - ÚI 2024 RIV GB eng J - Journal Article
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
Institutional support: RVO:67985807
Keywords : APAL * quantification over announcements * substructural logic * expressivity
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Open access
http://dx.doi.org/10.1093/logcom/exac012
Permanent Link: http://hdl.handle.net/11104/0331834File Download Size Commentary Version Access 0557952-aoafin.pdf 1 1.6 MB OA CC BY 4.0 Publisher’s postprint open-access - 5.0547631 - ÚI 2023 RIV NL eng J - Journal Article
Tedder, Andrew - Ferenz, N.
Neighbourhood Semantics for Quantified Relevant Logics.
Journal of Philosophical Logic. Roč. 51, č. 3 (2022), s. 457-484. ISSN 0022-3611
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Relevant logic * Quantified nonclassical logic * Neighbourhood semantics * Substructural logic
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-021-09637-1
Permanent Link: http://hdl.handle.net/11104/0323828 - 6.0542814 - ÚI 2022 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : epistemic logic * modal logic * substructural logic * inquisitive logic * logic of questions
OECD category: Pure mathematics
Impact factor: 0.509, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1093/logcom/exab008
Permanent Link: http://hdl.handle.net/11104/0320152 - 7.0538234 - ÚI 2022 RIV CH eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : Epimorphism * Residuated lattice * Brouwerian algebra * Heyting algebra * De Morgan monoid * Esakia space * Substructural logic * Relevance logic * Beth definability
OECD category: Pure mathematics
Impact factor: 0.526, year: 2021
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00012-020-00694-2
Permanent Link: http://hdl.handle.net/11104/0316060 - 8.0538225 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GJ18-19162Y
Institutional support: RVO:67985807
Keywords : Dynamic logic * Epistemic logic * Inquisitive logic * Substructural logic * Public announcement * Reduction axioms
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0316050 - 9.0524384 - FLÚ 2021 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GB14-37038G
Institutional support: RVO:67985955
Keywords : scholastic logic * mathematisation * second scholasticism * syllogistic reasoning * substructural logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 1.000, year: 2020
Method of publishing: Limited access
https://doi.org/10.1017/S1755020318000357
Permanent Link: http://hdl.handle.net/11104/0308737 - 10.0523434 - ÚI 2023 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : undecidability * substructural logic * Robinson arithmetic
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502032000012X
Permanent Link: http://hdl.handle.net/11104/0307787