Počet záznamů: 1
Structural Completeness and Superintuitionistic Inquisitive Logics
- 1.Ferguson, Thomas - Punčochář, Vít
Structural Completeness and Superintuitionistic Inquisitive Logics.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 194-210. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-39784-4_12
https://hdl.handle.net/11104/0346056
Počet záznamů: 1