Výsledky vyhledávání
- 1.0563275 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Aguilera, J. P. - Diéguez, M. - Fernández-Duque, David - McLean, B.
Time and Godel: Fuzzy Temporal Reasoning in PSPACE.
Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), s. 18-35. 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]
Institucionální podpora: RVO:67985807
Klíčová slova: Godel-Dummett logic * linear temporal logic * intuitionistic logic * fuzzy logic * PSPACE-complete
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-15298-6_2
Trvalý link: https://hdl.handle.net/11104/0340208 - 2.0546446 - ÚI 2022 DE eng J - Článek v odborném periodiku
Fernández-Duque, David
The intuitionistic temporal logic of dynamical systems.
Logical Methods in Computer Science. Roč. 14, č. 3 (2018), č. článku 3. ISSN 1860-5974. E-ISSN 1860-5974
Klíčová slova: provability logic * intuitionistic logic * temporal logic * dynamical topological systems
Impakt faktor: 0.432, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0322950 - 3.0546442 - ÚI 2022 US eng J - Článek v odborném periodiku
Balbiani, P. - Boudou, J. - Diéguez, M. - Fernández-Duque, David
Intuitionistic Linear Temporal Logics.
ACM Transactions on Computational Logic. Roč. 21, č. 2 (2020), č. článku 14. ISSN 1529-3785. E-ISSN 1557-945X
Klíčová slova: semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
Impakt faktor: 0.625, rok: 2020
Trvalý link: http://hdl.handle.net/11104/0322946 - 4.0546145 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
Inquisitive Heyting Algebras.
Studia Logica. Roč. 109, č. 5 (2021), s. 995-1017. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: Logic of questions * Inquisitive logic * Intuitionistic logic * Superintuitionistic logics * Heyting algebras * Algebraic semantics * Antichains
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.833, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11225-020-09936-9
Trvalý link: http://hdl.handle.net/11104/0322696 - 5.0535713 - FLÚ 2021 RIV CZ cze E - Elektronický dokument
Boháček, Kryštof - Punčochář, Vít
Filosofická kavárna: Paradoxy klasické logiky.
[Philosophical Café: On Paradoxes of Classical Logic.]
[audiovizuální webová prezentace]. - Praha: Filosofický ústav, 2020, 10,5 GB
Institucionální podpora: RVO:67985955
Klíčová slova: Paradoxes in logic * logic and natural language * intuitionistic logic * philosophy of logic * philosophy of language
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.youtube.com/watch?v=14hl46iy1iw
Trvalý link: http://hdl.handle.net/11104/0314916 - 6.0533996 - ÚI 2021 NL eng J - Článek v odborném periodiku
Cerna, David M. - Leitsch, A. - Reis, G. - Wolfsteiner, S.
Ceres in intuitionistic logic.
Annals of Pure and Applied Logic. Roč. 168, č. 10 (2017), s. 1783-1836. ISSN 0168-0072. E-ISSN 1873-2461
Klíčová slova: cut-elimination * Cut-elimination * Intuitionistic logic * ceres * Proof resolution
Impakt faktor: 1.000, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0312218 - 7.0532809 - ÚI 2021 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism Surjectivity in Varieties of Heyting Algebras.
Annals of Pure and Applied Logic. Roč. 171, č. 9 (2020), č. článku 102824. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.apal.2020.102824
Trvalý link: http://hdl.handle.net/11104/0311209 - 8.0522847 - ÚI 2020 US eng V - Výzkumná zpráva
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism surjectivity in varieties of Heyting algebras.
Cornell University, 2019. 36 s. arXiv.org e-Print archive, arXiv:1908.00287 [math.LO].
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
Obor OECD: Pure mathematics
https://arxiv.org/abs/1908.00287
Trvalý link: http://hdl.handle.net/11104/0307269 - 9.0507205 - ÚI 2020 US eng C - Konferenční příspěvek (zahraniční konf.)
Beyersdorff, O. - Pich, Ján
Understanding Gentzen and Frege Systems for QBF.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York: ACM, 2016, s. 146-155. ISBN 978-1-4503-4391-6.
[LICS 2016. Annual ACM/IEEE Symposium on Logic in Computer Science /31./. New York City (US), 05.07.2016-08.07.2016]
Klíčová slova: QBF proof systems * sequent calculus * Frege systems * intuitionistic logic * strategy extraction * lower bounds * simulations
Trvalý link: http://hdl.handle.net/11104/0298249 - 10.0505202 - FLÚ 2020 RIV GB eng J - Článek v odborném periodiku
Punčochář, Vít
Substructural inquisitive logics.
Review of Symbolic Logic. Roč. 12, č. 2 (2019), s. 296-330. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985955
Klíčová slova: inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Trvalý link: http://hdl.handle.net/11104/0296698