Search results
- 1.0563275 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : Godel-Dummett logic * linear temporal logic * intuitionistic logic * fuzzy logic * PSPACE-complete
OECD category: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-15298-6_2
Permanent Link: https://hdl.handle.net/11104/0340208 - 2.0546446 - ÚI 2022 DE eng J - Journal Article
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
Keywords : provability logic * intuitionistic logic * temporal logic * dynamical topological systems
Impact factor: 0.432, year: 2018
Permanent Link: http://hdl.handle.net/11104/0322950 - 3.0546442 - ÚI 2022 US eng J - Journal Article
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
Keywords : semantics * programs * Theory of computation * mathematics of computing * intuitionistic logic * temporal logic * bisimulation
Impact factor: 0.625, year: 2020
Permanent Link: http://hdl.handle.net/11104/0322946 - 4.0546145 - FLÚ 2022 RIV NL eng J - Journal Article
Punčochář, Vít
Inquisitive Heyting Algebras.
Studia Logica. Roč. 109, č. 5 (2021), s. 995-1017. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : Logic of questions * Inquisitive logic * Intuitionistic logic * Superintuitionistic logics * Heyting algebras * Algebraic semantics * Antichains
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.833, year: 2021
Method of publishing: Limited access
https://doi.org/10.1007/s11225-020-09936-9
Permanent Link: http://hdl.handle.net/11104/0322696 - 5.0535713 - FLÚ 2021 RIV CZ cze E - Electronic Document
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
Institutional support: RVO:67985955
Keywords : Paradoxes in logic * logic and natural language * intuitionistic logic * philosophy of logic * philosophy of language
OECD category: Philosophy, History and Philosophy of science and technology
https://www.youtube.com/watch?v=14hl46iy1iw
Permanent Link: http://hdl.handle.net/11104/0314916 - 6.0533996 - ÚI 2021 NL eng J - Journal Article
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
Keywords : cut-elimination * Cut-elimination * Intuitionistic logic * ceres * Proof resolution
Impact factor: 1.000, year: 2017
Permanent Link: http://hdl.handle.net/11104/0312218 - 7.0532809 - ÚI 2021 RIV NL eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Esakia space * Intuitionistic logic * Intermediate logic * Beth definability
OECD category: Pure mathematics
Impact factor: 0.678, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.apal.2020.102824
Permanent Link: http://hdl.handle.net/11104/0311209 - 8.0522847 - ÚI 2020 US eng V - Research Report
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].
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
OECD category: Pure mathematics
https://arxiv.org/abs/1908.00287
Permanent Link: http://hdl.handle.net/11104/0307269 - 9.0507205 - ÚI 2020 US eng C - Conference Paper (international conference)
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]
Keywords : QBF proof systems * sequent calculus * Frege systems * intuitionistic logic * strategy extraction * lower bounds * simulations
Permanent Link: http://hdl.handle.net/11104/0298249 - 10.0505202 - FLÚ 2020 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985955
Keywords : inquisitive semantics * logic of questions * substructural logic * classical logic * intuitionistic logic * fuzzy logic
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/substructural-inquisitive-logics/81285524FFC11723B452B2D8434FEF79
Permanent Link: http://hdl.handle.net/11104/0296698