Výsledky vyhledávání
- 1.0536663 - ÚI 2021 NL eng A - Abstrakt
Sedlár, Igor - Tedder, Andrew
Correction to: Lambek Calculus with Conjugates.
Studia Logica. Springer. Roč. 109, č. 3 (2021), s. 471-471. ISSN 0039-3215. E-ISSN 1572-8730
Institucionální podpora: RVO:67985807
Klíčová slova: oprava * correction
Trvalý link: http://hdl.handle.net/11104/0314399Název souboru Staženo Velikost Komentář Verze Přístup 0536663-aoaf.pdf 0 147.7 KB OA Vydavatelský postprint povolen 0536663-aoa.pdf 0 185.8 KB Oprava, OA Vydavatelský postprint povolen - 2.0510722 - ÚI 2020 RO eng A - Abstrakt
Badia, G. - Cintula, Petr - Tedder, Andrew
Rosser’s undecidability theorem for very weak (fuzzy) arithmetics.
ManyVal 2019. Book of Abstracts. Bucharest: University of Bucharest, 2019. s. 25-27.
[ManyVal 2019: The International Workshop on Many-Valued Logic /8./. 01.11.2019-03.11.2019, Bucharest]
Institucionální podpora: RVO:67985807
Trvalý link: http://hdl.handle.net/11104/0301117Název souboru Staženo Velikost Komentář Verze Přístup 0510722-onl.pdf 1 108.8 KB volně online Vydavatelský postprint povolen - 3.0508239 - ÚI 2020 CZ eng A - Abstrakt
Tedder, Andrew - Sedlár, Igor
Residuals and conjugates in positive substructural logic.
CLMPST 2019. Book of Abstracts. Prague: DLMPST/IUHPST, 2019. s. 484-484.
[CLMPST 2019: The International Congress of Logic, Methodology and Philosophy of Science and Technology /16./. 05.10.2019-10.10.2019, Prague]
Institucionální podpora: RVO:67985807
http://clmpst2019.flu.cas.cz/wp-content/uploads/2019/08/BoA_CLMPST2019_web.pdf
Trvalý link: http://hdl.handle.net/11104/0299205Název souboru Staženo Velikost Komentář Verze Přístup 0508239.pdf 0 112.3 KB volně online Vydavatelský postprint povolen - 4.0507686 - ÚI 2020 CZ eng A - Abstrakt
Badia, G. - Cintula, Petr - Tedder, Andrew
How much propositional logic suffices for Rosser’s undecidability theorem?
Logic Colloquium 2019. Book of abstracts. Praha: AMCA, 2019 - (Chodounský, D.; Stejskalová, J.; Verner, J.). s. 171-171. ISBN 978-80-88214-19-9.
[Logic Colloquium 2019. 11.08.2019-16.08.2019, Praha]
Institucionální podpora: RVO:67985807
https://lc2019.cz/static/abstracts/LC2019-Book_of_abstracts.pdf?80229d306947a24f4d93
Trvalý link: http://hdl.handle.net/11104/0298669Název souboru Staženo Velikost Komentář Verze Přístup 0507686-aw.pdf 0 264.3 KB volně na webu Vydavatelský postprint povolen